Explore >> Select a destination

You are here

 richardzach.org
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
| | jdh.hamkins.org
Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 | Joel David Hamkins
10.7 parsecs away

Travel
| | 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...
| | consequently.org
Logical Pluralism - consequently.org
8.0 parsecs away

Travel
| |
| | www.logicmatters.net
Schubert, extraordinarily - Logic Matters
11.3 parsecs away

Travel
| |
| | popperfont.net
28 | November | 2012 |
53.7 parsecs away

Travel
| 4 posts published by David Ng on November 28, 2012