You are here |
blog.ifem.co.uk | ||
| | | |
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... | |
| | | |
jdh.hamkins.org
|
|
| | | | This will be a talk for the Notre Dame Logic Seminar, 3 December 2024, 2:00pm, 125 Hayes-Healey. Abstract. I shall give an account of the theory of computable surreal numbers, proving that these fo... | |
| | | |
rapuran.wordpress.com
|
|
| | More on Weekly Travel Theme |