Slim models of zermelo set theory

Journal of Symbolic Logic 66 (2):487-496 (2001)
  Copy   BIBTEX

Abstract

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$ , there is a supertransitive inner model of Zermelo containing all ordinals in which for every λ A λ = {α ∣Φ(λ, a)}

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.
Stationary sets and infinitary logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.
Zermelo: definiteness and the universe of definable sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.
A weak variation of Shelah's I[ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.

Analytics

Added to PP
2009-01-28

Downloads
55 (#292,245)

6 months
15 (#171,899)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Mathematical existence.Penelope Maddy - 2005 - Bulletin of Symbolic Logic 11 (3):351-376.
Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.

View all 16 citations / Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Elements of Set Theory.Herbert B. Enderton - 1981 - Journal of Symbolic Logic 46 (1):164-165.
Mengeninduktion und Fundierungsaxiom.Ronald Björn Jensen & Max E. Schröder - 1969 - Archive for Mathematical Logic 12 (3-4):119-133.

Add more references