Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
From MaRDI portal
Publication:5013904
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
reverse mathematicsSchütte deduction chainswell ordering principles\( \Omega_n\)-rule\( \prod_1^1 \)-comprehensioncountable coded \(\omega \)-modelwell-ordering proof
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