Proof theory. An introduction
From MaRDI portal
Publication:1801306
DOI10.1007/978-3-540-46825-7zbMath0695.03024OpenAlexW4236380022MaRDI 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 theoryformal systemsordinal analysisinfinitary languagesinductive definitionssubsystems of analysispredicative analysis
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15)
Related Items
Reflection algebras and conservation results for theories of iterated truth, Proof theory of reflection, Phase transition results for three Ramsey-like theorems, Correia semantics revisited, Proof complexity and textual cohesion, Well-Ordering Principles in Proof Theory and Reverse Mathematics, Formalizing non-termination of recursive programs, The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity, From single agent to multi-agent via hypersequents, Second order theories with ordinals and elementary comprehension, Ordinal arithmetic based on Skolem hulling, Monomial ideals and independence of, AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS, Ordinal notations based on a weakly Mahlo cardinal, Lengths of developments in \(K((G))\), Strong WQO Tree Theorems, Well Quasi-orderings and Roots of Polynomials in a Hahn Field, The Proof Theory of Common Knowledge, Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa, An order-theoretic characterization of the Howard-Bachmann-hierarchy, Simplified collapsing functions and their applications, Type-theoretic interpretation of iterated, strictly positive inductive definitions, On the relationship between fixed points and iteration in admissible set theory without foundation, An unexpected separation result in Linearly Bounded Arithmetic, Syntactic cut-elimination for a fragment of the modal mu-calculus, Proof theory and ordinal analysis, Independence of Ramsey theorem variants using $\varepsilon _0$, Intuitionistic Fixed Point Theories for Strictly Positive Operators, Factorization in generalized power series, Harmonious logic: Craig's interpolation theorem and its descendants, Syntactic cut-elimination for common knowledge, Syntactic Cut-elimination for Common Knowledge, Reverse mathematics and well-ordering principles: a pilot study, 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, Notations for exponentiation., Proof-theoretic analysis of KPM, Ordinal notations and well-orderings in bounded arithmetic, Automated modular termination proofs for real Prolog programs
