From Subsystems of Analysis to Subsystems of Set Theory

DOI10.1007/978-3-319-29198-7_9zbMath1439.03104OpenAlexW2496002019MaRDI QIDQ3305559

Wolfram Pohlers

Publication date: 7 August 2020

Published in: Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7_9

zbMATH Keywords

axiom systemproof theoryPeano arithmeticordinal analysisramify analysis

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

On the Performance of Axiom Systems ⋮ Iterated Inductive Definitions Revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Set theoretic foundations for constructive analysis
• Applications of cut-free infinitary derivations to generalized recursion theory
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Consistency proofs of subsystems of classical analysis
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• On ω-consistency and related properties
• Beweistheorie vonKPN
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• A Uniform Approach to Fundamental Sequences and Hierarchies
• A well-ordering proof for Feferman's theoryT 0
• Hilbert’s Programme and Ordinal Analysis
• Systems of predicative analysis
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• A system of abstract constructive ordinals
• A generalization of the concept of ω-consistency
• Explaining the Gentzen-Takeuti reduction steps: A second-order system