- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Metamathematical investigation of intuitionistic arithmetic and analysis
New York,: Springer (1973)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
Interpretations of Kleene's metamathematical predicate γ∣a in intuitionistic arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
Analytics
Added to PP
2009-01-28
Downloads
72 (#302,539)
6 months
3 (#1,061,821)
2009-01-28
Downloads
72 (#302,539)
6 months
3 (#1,061,821)
Historical graph of downloads
Author's Profile
Citations of this work
Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss, Handbook of proof theory. New York: Elsevier. pp. 337-405.
The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-dwqgq uwo