scientific article

zbMath1358.03022MaRDI QIDQ3464624

Michael Rathjen

Publication date: 27 January 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut elimination\(\mathrm{RCA}_0\)well-ordering\(\omega\)-models\(\mathrm{ATR}_0\)

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, Derivatives of normal functions and \(\omega \)-models, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, PREDICATIVE COLLAPSING PRINCIPLES, Computable aspects of the Bachmann–Howard principle, WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY, \(\Pi_1^1\)-comprehension as a well-ordering principle, A categorical construction of Bachmann–Howard fixed points, Proof-theoretic strengths of the well-ordering principles, Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension