Explore >> Select a destination

You are here

 richardzach.org
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
| | consequently.org
Logical Pluralism - consequently.org
8.0 parsecs away

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

Travel
| |
| | 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...
| | ropmann.wordpress.com
Clover | Roland's Photo Blog
56.3 parsecs away

Travel
| Visit the post for more.