Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
New York,Springer (1973)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Intuitionistic mathematics Proof theory Model theory | |||||||||
| Categories | ||||||||||
| Buy the book | $55.57 new (21% off) $64.46 direct from Amazon (8% off) Amazon page | |||||||||
| Call number | QA9.47.L28 no. 344 | |||||||||
| ISBN(s) | 3540064915 0387064915 9783540064916 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. Erkenntnis 53 (1-2):155-179.
D. Dalen (1986). Glueing of Analysis Models in an Intuitionistic Setting. Studia Logica 45 (2):181 - 186.
Daniel Maurice Raphaël Leivant (1979). Absoluteness of Intuitionistic Logic. Mathematisch Centrum.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Bruno Scarpellini (1971). Proof Theory and Intuitionistic Systems. New York,Springer-Verlag.
Daniel Dzierzgowski (1995). Models of Intuitionistic TT and N. Journal of Symbolic Logic 60 (2):640-653.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads16 ( #74,590 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
