scientific article
From MaRDI portal
Publication:3809793
zbMath0661.03042MaRDI QIDQ3809793
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryordinal notation systemsecond-order arithmeticimpredicative subsystems of arithmetic and set theory
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) 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, Understanding uniformity in Feferman's explicit mathematics, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, 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, Proof-theoretic analysis of KPM
