Well-Ordering Principles and Bar Induction

DOI10.1007/978-3-319-10103-3_19zbMath1386.03017arXiv1405.4485OpenAlexW1916594589WikidataQ59896963 ScholiaQ59896963MaRDI QIDQ5361262

Michael Rathjen, Pedro Francisco Valencia Vizcaíno

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.4485

zbMATH Keywords

bar inductionwell-ordering\(\omega\)-modelsHoward-Bachmann operation

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, A note on ordinal exponentiation and derivatives of normal functions, PREDICATIVE COLLAPSING PRINCIPLES, Functorial Fast-Growing Hierarchies, Computable aspects of the Bachmann–Howard principle, WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY, \(\Pi_1^1\)-comprehension as a well-ordering principle, Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension