Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$

DOI10.1007/978-3-030-49424-7_9OpenAlexW3048592824MaRDI QIDQ5013900

No author found.

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• The strength of admissibility without foundation
• On the relation between choice and comprehension principles in second order arithmetic
• Beweistheorie vonKPN
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• A well-ordering proof for Feferman's theoryT 0
• Systems of predicative analysis
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• On the relationship between ATR₀ and