Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- On extensionality, uniformity and comprehension in the theories of operations and classes
- The proof-theoretic analysis of the Suslin operator in applicative theories
- Feferman-Landin Logic
- Explicit mathematics with monotone inductive definitions: A survey
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
The proof-theoretic analysis of the Suslin operator in applicative theories
from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- On extensionality, uniformity and comprehension in the theories of operations and classes
- The proof-theoretic analysis of the Suslin operator in applicative theories
- Feferman-Landin Logic
- Explicit mathematics with monotone inductive definitions: A survey
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 270 - 292Publisher: Cambridge University PressPrint publication year: 2002
References
[1] , Foundations of constructive mathematics: Metamathematical studies, Springer, Berlin, 1985.
[2] , , , and , Iterated inductive definitions and subsystems of analysis: Recent proof-theoretical studies, Lecture Notes in Mathematics, vol. 897, Springer, Berlin, 1981.
[3] and , Proof theory of impredicative subsystems of analysis, Bibliopolis, Naples, 1988.
[4] , A language and axioms for explicit mathematics, Algebra and logic (, editor), Lecture Notes inMathematics, vol. 450, Springer, Berlin, 1975, pp. 87-139.
[5] , A theory of variable types, Revista Colombiana deMatemáticas, vol. 19 (1975), pp. 95- 105.Google Scholar
[6] , Theories of finite type related to mathematical practice, Handbook of mathematical logic (, editor), North Holland, Amsterdam, 1977, pp. 913-971.
[7] , Recursion theory and set theory: a marriage of convenience, Generalized recursion theory II, Oslo 1977 (, , and , editors), Stud. Logic Found.Math, vol. 94, North Holland, Amsterdam, 1978, pp. 55-98.
[8] , Constructive theories of functions and classes, Logic colloquium –78 (, D.|van Dalen, and , editors), North Holland, Amsterdam, 1979, pp. 159-224.
[9] ,Weyl vindicated: “Das Kontinuum” 70 years later, Temi e prospettive della logica e della filosofia della scienza contemporanee, CLUEB, Bologna, 1988, pp. 59-93.
[11] and , Systems of explicit mathematics with nonconstructive _-operator. Part I, Annals of Pure and Applied Logic, vol. 65 (1993), no. 3, pp. 243-263.Google Scholar
[12] , Systems of explicit mathematics with non-constructive _-operator. Part II, Annals of Pure and Applied Logic, vol. 79 (1996), no. 1, pp. 37-52.Google Scholar
[13] and , Systems of explicit mathematics with non-constructive _-operator and join, Annals of Pure and Applied Logic, vol. 82 (1996), pp. 193-219.Google Scholar
[14] , Die konstruktible Hierarchie als Hilfsmittel zur beweistheoretischen Untersuchung von Teilsystemen der Mengenlehre und Analysis, Ph.D. thesis, Universität München, 1979.
[15] , Iterating admissibility in proof theory, Logic colloquium –81. Proceedings of the Herbrand symposion., North Holland, Amsterdam, 1982.
[16] , A well-ordering proof for Feferman's theory T0, Archiv für mathematische Logik und Grundlagenforschung, vol. 23 (1983), pp. 65-77.Google Scholar
[17] , Theories for admissible sets: A unifying approach to proof theory, Bibliopolis, Napoli, 1986.
[18] , , and , On applicative theories, Logic and foundations of mathematics (, , and , editors), Kluwer, 1999, pp. 83-92.Google Scholar
[19] and , Eine beweistheoretische Untersuchung von (Δ12 -CA)+ (BI) und verwandter Systeme, Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1982, pp. 1-28.Google Scholar
[20] and , Some theories with positive induction of ordinal strength, The Journal of Symbolic Logic, vol. 61 (1996), no. 3, pp. 818-842.Google Scholar
[21] , N-strictness in applicative theories, Archive forMathematical Logic, vol. 39 (2000), no. 2, pp. 125-144.Google Scholar
[22] , Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, 1998.
[23] and , Constructivism in mathematics, vol. I, North-Holland, Amsterdam, 1988.
[24] and , Constructivism in mathematics, vol. II, North Holland, Amsterdam, 1988.
- 4
- Cited by