Graduate studies at Western
Journal of Symbolic Logic 65 (4):1785-1812 (2000)
|Abstract||A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of ﬁrst- and second-order arithmetic, bounded arithmetic, and admissible set theory|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
John Bell (2008). The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories. Mathematical Logic Quarterly 54 (2):194-201.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Mauro Ferrari & Camillo Fiorentini (2003). A Proof-Theoretical Analysis of Semiconstructive Intermediate Theories. Studia Logica 73 (1):21 - 49.
Albert G. Dragalin (1995). Explicit Algebraic Models for Constructive and Classical Theories with Non-Standard Elements. Studia Logica 55 (1):33 - 61.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,723 of 739,391 )
Recent downloads (6 months)1 ( #61,778 of 739,391 )
How can I increase my downloads?