Kripke-Platek Set Theory and the Anti-Foundation Axiom

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

Michael Rathjen

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

zbMATH Keywords

graphsKripke-Platek set theoryproof-theoretic strengthsecond-order arithmeticdecorationanti-foundation axiom

Mathematics Subject Classification ID

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\)