Kripke-Platek Set Theory and the Anti-Foundation Axiom
From MaRDI portal
Publication:2765565
DOI<435::AID-MALQ435>3.0.CO;2-7 10.1002/1521-3870(200111)47:4<435::AID-MALQ435>3.0.CO;2-7zbMath1002.03050OpenAlexW2007535202MaRDI QIDQ2765565
Publication date: 13 January 2003
Full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<435::aid-malq435>3.0.co;2-7
graphsKripke-Platek set theoryproof-theoretic strengthsecond-order arithmeticdecorationanti-foundation axiom
Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
Related Items
Inaccessible set axioms may have little consistency strength, The strength of extensionality. II: Weak weak set theories without infinity, The strength of extensionality. I: Weak weak set theories with infinity, The Operational Penumbra: Some Ontological Aspects, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)