Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- Ordinal analysis without proofs
- Relating ordinals to proofs in a perspicuous way
- Internal finite tree embeddings
- Foundational and mathematical uses of higher types
- The epsilon substitutionmethod and continuity
- Predicativity: The outer limits
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
Relating ordinals to proofs in a perspicuous way
from PART I - PROOF THEORETIC ANALYSIS
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- Ordinal analysis without proofs
- Relating ordinals to proofs in a perspicuous way
- Internal finite tree embeddings
- Foundational and mathematical uses of higher types
- The epsilon substitutionmethod and continuity
- Predicativity: The outer limits
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- 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. 37 - 59Publisher: Cambridge University PressPrint publication year: 2002
References
[1] , A new approach to the Bachmann method for describing large countable ordinals, unpublished.
[2] , Proof theory for theories of ordinals II: Σ1-stability, Preprint (1997).
[3] , Systems of ordinal diagrams, preprint (1996).
[4] , A simplification of the Bachmann method for generating large countable ordinals, The Journal of Symbolic Logic, vol. 40 (1975), pp. 171-185.Google Scholar
[5] , Normalfunktionen und konstruktive Systeme von Ordinalzahlen, Proof theory symposium, Kiel 1974 ( and , editors), Lecture Notes in Mathematics, vol. 500, Springer, 1975, pp. 4-25.
[6] , The Ω_+1-rule, Iterated inductive definitions and subsystems of analysis: Recent proof- theoretical studies (, , , and , editors), Lecture Notes in Mathematics, vol. 897, Springer, 1981, pp. 188-233.
[7] , Ordinal analysis of ID_, Iterated inductive definitions and subsystems of analysis: Recent proof-theoretical studies (, ,, and, editors), Lecture Notes inMathematics, vol. 897, Springer, 1981, pp. 234-260.
[8] , A new system of proof-theoretic ordinal functions, Annals of Pure and Applied Logic, vol. 32 (1986), pp. 195-207.Google Scholar
[9] , An independence result for (Π11 -CA)+BI, Annals of Pure and Applied Logic, vol. 33 (1987), pp. 131-155.Google Scholar
[10] and , Proof theory of impredicative subsystems of analysis, Studies in Proof Theory Monographs, vol. 2, Bibliopolis, Napoli, 1988.
[11] , Proof theory: A personal report, Proof theory (2nd edition) (, editor), Studies in Logic and the Foundations of Mathematics, North-Holland, 1987, pp. 447-485.
[12] , _-inaccessible ordinals, collapsing functions and a recursive notation system, Archiv für mathematische Logik, vol. 24 (1984), pp. 49-62.Google Scholar
[13] , Note on H. Friedman's independence result on the extended Kruskal Theorem, preprint (1988).
[14] , Ordinal notations based on a hierarchy of inaccessible cardinals, Annals of Pure and Applied Logic, vol. 33 (1987), pp. 157-179.Google Scholar
[15] , Subsystems of set theory and second order number theory, Handbook of proof theory (, editor), Elsevier Science B.V., 1998.
[16] , Ordinal notations based on a weakly Mahlo cardinal, Archive for Mathematical Logic, vol. 29 (1990), pp. 249-263.Google Scholar
[17] , Proof theory of reflection, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 181- 224.Google Scholar
[18] , Recent advances in ordinal analysis: Π12 -CA and related systems, The Bulletin of Symbolic Logic, vol. 1/4 (1995), pp. 468-485.Google Scholar
[19] , Well-ordering proofs for Martin-Löf type theory, Annals of Pure and Applied Logic, vol. 92 (1998), pp. 113-159.Google Scholar
- 2
- Cited by