scientific article
From MaRDI portal
Publication:2906572
zbMath1260.03018MaRDI QIDQ2906572
Michael Rathjen, Andreas Weiermann
Publication date: 5 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Reverse Mathematics: The Playground of Logic, 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, On the logical strength of the better quasi order with three elements, Functorial Fast-Growing Hierarchies, Computable aspects of the Bachmann–Howard principle, The Reverse Mathematics of wqos and bqos, WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY, \(\Pi_1^1\)-comprehension as a well-ordering principle, Proof-theoretic strengths of the well-ordering principles, Reverse mathematics and well-ordering principles: a pilot study, Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
