Theories and ordinals in proof theory

DOI10.1007/s11229-004-6297-0zbMath1101.03034OpenAlexW2067110264MaRDI QIDQ2500821

Michael Rathjen

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-6297-0

zbMATH Keywords

surveyproof theoryordinal analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items

Relativized ordinal analysis: the case of power Kripke-Platek set theory, Predicativity and Feferman, … and so on: Schütte on Naming Ordinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic analysis of KPM
• A new system of proof-theoretic ordinal functions
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Proof theory of reflection
• A note on the \(\Sigma_1\) spectrum of a theory
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• A proof-theoretic characterization of the primitive recursive set functions
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• The consistency of arithmetics
• Elementary patterns of resemblance