ZF + "every set is the same size as a wellfounded set"

Journal of Symbolic Logic 68 (1):1-4 (2003)
  Copy   BIBTEX

Abstract

Let ZFB be ZF + "every set is the same size as a wellfounded set". Then the following are true. Every sentence true in every (Rieger-Bernays) permutation model of a model of ZF is a theorem of ZFB. (i.e.. ZFB is the theory of Rieger-Bernays permutation models of models of ZF) ZF and ZFAFA are both extensions of ZFB conservative for stratified formulæ. The class of models of ZFB is closed under creation of Rieger-Bernays permutation models

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1045861502

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

Size matters.Anne Newstead - unknown
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Permutations and Wellfoundedness: The True Meaning of the Bizarre Arithmetic of Quine's NF.Thomas Forster - 2006 - Journal of Symbolic Logic 71 (1):227 - 240.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Categoricity theorems and conceptions of set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Bernays and set theory.Akihiro Kanamori - 2009 - Bulletin of Symbolic Logic 15 (1):43-69.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.

Analytics

Added to PP
2009-01-28

Downloads
246 (#79,090)

6 months
19 (#130,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Forster
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Mathematical Logic Quarterly 36 (5):385-388.
Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):385-388.

Add more references