Slim models of Zermelo set theory

DOI10.2307/2695026zbMath0989.03049OpenAlexW1973632985MaRDI QIDQ2747699

Adrian R. D. Mathias

Publication date: 14 October 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695026

zbMATH Keywords

Kripke-Platek set theoryZermelo set theoryhereditarily finite setsfailures of replacementfruitful classsupertransitive inner modelZermelo tower

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Axiomatics of classical set theory and its fragments (03E30) Other model constructions (03C30)

Related Items

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS, The iterative conception of set. A (bi-)modal axiomatisation, Zermelo and Set Theory, In Praise of Replacement, A hierarchy of hereditarily finite sets, Transfinite recursion and computation in the iterative conception of set, BI-INTERPRETATION IN WEAK SET THEORIES, The strength of Mac Lane set theory, Zermelo and Set Theory, Mathematical Existence, Mathias and set theory, Rudimentary recursion, gentle functions and provident sets

Cites Work

• Unnamed Item
• Unnamed Item
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Mengeninduktion und Fundierungsaxiom
• On sequences generic in the sense of Prikry