Proof theory. An introduction
From MaRDI portal
Publication:1801306
DOI10.1007/978-3-540-46825-7zbMath0695.03024MaRDI QIDQ1801306
Publication date: 5 June 1993
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-46825-7
proof theory; formal systems; ordinal analysis; infinitary languages; inductive definitions; subsystems of analysis; predicative analysis
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F05: Cut-elimination and normal-form theorems
03F15: Recursive ordinals and ordinal notations
Related Items
Unnamed Item, An unexpected separation result in Linearly Bounded Arithmetic, Factorization in generalized power series, Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa, Simplified collapsing functions and their applications, Type-theoretic interpretation of iterated, strictly positive inductive definitions, Proof-theoretic analysis of KPM, The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity, Ordinal arithmetic based on Skolem hulling, Ordinal notations based on a weakly Mahlo cardinal, Harmonious logic: Craig's interpolation theorem and its descendants, Syntactic cut-elimination for common knowledge, Reverse mathematics and well-ordering principles: a pilot study, Proof theory of reflection, Formalizing non-termination of recursive programs, Notations for exponentiation., Ordinal notations and well-orderings in bounded arithmetic, Second order theories with ordinals and elementary comprehension, Proof theory and ordinal analysis, On the relationship between fixed points and iteration in admissible set theory without foundation, Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX, Remarks on applicative theories, Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
