Ackermann's set theory equals ZF
From MaRDI portal
Publication:5612460
DOI10.1016/0003-4843(70)90011-2zbMath0211.30901OpenAlexW2023283996MaRDI QIDQ5612460
Publication date: 1970
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(70)90011-2
Inner models, including constructibility, ordinal definability, and core models (03E45) Axiomatics of classical set theory and its fragments (03E30)
Related Items
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION, Obtaining Woodin’s cardinals, An extension of Ackermann's set theory, Natural models and Ackermann-type set theories, The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small, In Praise of Replacement, On a system of Feferman, Sets and classes as many, Levy and set theory, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, Why Sets?, Surrealist landscape with figures (a survey of recent results in set theory), The structure of the ordinals and the interpretation of ZF in double extension set theory
