scientific article
From MaRDI portal
Publication:3081650
zbMath1227.03077MaRDI QIDQ3081650
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items
On the Performance of Axiom Systems, Well-Ordering Principles in Proof Theory and Reverse Mathematics, Epsilon substitution for \(ID_1\) via cut-elimination, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, Locally hyperarithmetical induction, Strong WQO Tree Theorems, Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory, Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
