Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension

DOI10.1007/978-3-030-49424-7_12OpenAlexW3048767038MaRDI QIDQ5013904

Ian Alexander Thomson, Michael Rathjen

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_12

zbMATH Keywords

reverse mathematicsSchütte deduction chainswell ordering principles\( \Omega_n\)-rule\( \prod_1^1 \)-comprehensioncountable coded \(\omega \)-modelwell-ordering proof

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

Well-Ordering Principles in Proof Theory and Reverse Mathematics, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, Upper Bounds on the Graph Minor Theorem, WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY

Cites Work

• Reverse mathematics and well-ordering principles: a pilot study
• Proof-theoretic investigations on Kruskal's theorem
• Reverse mathematics and ordinal exponentiation
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• The Veblen functions for computability theorists
• Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
• Well-Ordering Principles and Bar Induction
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item