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 eﬀects 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||categorize this paper)|
Similar books and articles
Zachary 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):111-145.
Melvin Fitting (1969). Intuitionistic Logic, Model Theory and Forcing. Amsterdam, North-Holland Pub. Co..
Added to index2009-01-28
Total downloads23 ( #60,137 of 722,771 )
Recent downloads (6 months)1 ( #60,247 of 722,771 )
How can I increase my downloads?