Slim models of Zermelo set theory

DOI10.2307/2695026MaRDI QIDQ2747699zbMATH OpenOpenAlexFDO

Authors A. R. D. Mathias

Publication date 14 October 2001

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

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

zbMATH Keywords

failures of replacementfruitful classhereditarily finite setsKripke-Platek set theorysupertransitive inner modelZermelo set theoryZermelo tower

Mathematics Subject Classification ID

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

Recommendations

• Models of Second-Order Zermelo Set Theory
• scientific article; zbMATH DE number 2226382
• On hereditarily small sets in ZF
• scientific article; zbMATH DE number 4142027
• scientific article; zbMATH DE number 3316895

Cites work

• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• scientific article; zbMATH DE number 3595177 (Why is no real title available?)
• scientific article; zbMATH DE number 542031 (Why is no real title available?)
• Mengeninduktion und Fundierungsaxiom
• On sequences generic in the sense of Prikry

Cited in

(17)

• Rudimentary recursion, gentle functions and provident sets
• Mathias and set theory
• Mathematical Existence
• The iterative conception of set. A (bi-)modal axiomatisation
• Zermelo and Set Theory
• A canonical form for supertransitive standard models in Zermelo-Fraenkel set theory
• Models of Second-Order Zermelo Set Theory
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• Transfinite recursion and computation in the iterative conception of set
• BI-INTERPRETATION IN WEAK SET THEORIES
• In praise of replacement
• On hereditarily small sets in ZF
• Zermelo and Set Theory
• scientific article; zbMATH DE number 4185594 (Why is no real title available?)
• The strength of Mac Lane set theory
• Independence results for finite set theories in well-founded locally finite graphs
• A hierarchy of hereditarily finite sets

This page was built for publication: Slim models of Zermelo set theory

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