scientific article
From MaRDI portal
Publication:3968923
zbMath0503.03028MaRDI QIDQ3968923
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
admissible setsubsystems of analysissecond order arithmeticsubsystems of set theoryrecursively inaccessible universe
Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items
Well ordering principles for iterated \(\Pi^1_1\)-comprehension, Admissible closures of polynomial time computable arithmetic, The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories, Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory, Fixed points in Peano arithmetic with ordinals, Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$, Lower bounds on \(\beta (\alpha)\), European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
