Explore >> Select a destination
|
You are here 
|
www.logicmatters.net | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends f... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk at the UW Madison Logic Seminar on 22 October 2024. Abstract. The principle of covering reflection holds of a cardinal ? if for every structure B in a countable first-order lang... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
awwalker.com
|
|
| | | One of the better-known proofs of quadratic reciprocity involves the Gauss sums. This post gives a variant proof which motivates the introduction of Gauss sums using the Jacobi theta function. | ||
