Inconsistency of GPK + AFA

DOI10.1002/MALQ.19960420109MaRDI QIDQ4868244zbMATH OpenOpenAlexFDO

Authors Olivier Esser

Publication date 2 May 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420109

zbMATH Keywords

anti-foundation axiomhyperuniversesordinals in GPK

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 2115803
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• Hypersets
• scientific article; zbMATH DE number 57756

Cited in

(3)

• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• Kripke-Platek set theory and the anti-foundation axiom
• Forcing with the anti-foundation axiom

This page was built for publication: Inconsistency of GPK + AFA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4868244)