Forcing in proof theory
Bulletin of Symbolic Logic 10 (3):305-333 (2004)
| Abstract | Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesZachary Fraser (2007). The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus. Cosmos & History 2 (1):92-133.
Itay Neeman & Jindřich Zapletal (2001). Proper Forcing and L(ℝ). Journal of Symbolic Logic 66 (2):801-810.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Jeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
Antonio Di Nola, George Georgescu & Luca Spada (2008). Forcing in Łukasiewicz Predicate Logic. Studia Logica 89 (1):111 - 145.
Antonio Di Nola, George Georgescu & Luca Spada (2008). Forcing in Łukasiewicz Predicate Logic. Studia Logica 89 (1).
Melvin Fitting (1969). Intuitionistic Logic, Model Theory and Forcing. Amsterdam, North-Holland Pub. Co..
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads22 ( #56,242 of 549,094 )Recent downloads (6 months)1 ( #63,361 of 549,094 )How can I increase my downloads? |
My notes
Discussion
