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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1045861502
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,342
Through your library

References found in this work BETA

Permutations and Stratified Formulae a Preservation Theorem.Thomas Forster - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):385-388.
Permutations and Stratified Formulae a Preservation Theorem.Thomas Forster - 1990 - Mathematical Logic Quarterly 36 (5):385-388.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

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.
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.


Added to PP index

Total views
223 ( #35,206 of 2,326,053 )

Recent downloads (6 months)
1 ( #650,227 of 2,326,053 )

How can I increase my downloads?


My notes