×

What is the theory ZFC without power set? (English) Zbl 1375.03059

The authors propose that ZFC without power set should not be identified with the theory ZFC\(^-\) obtained by removing the power set axiom from the usual axiomatization of ZF supplemented with the well-ordering principle. The standard for making this judgement is the theory of ultrapowers: A model of ZFC\(^-\) may not satisfy fundamental theorems of ultrapowers, as it is proved in the paper under review. The problem of ZFC\(^-\) is the weakness of the replacement scheme in the absence of the power set axiom, and this can be repaired by the use of the collection scheme instead of replacement. The preferred theory with collection scheme and without power set is denoted by ZFC\(^-\).

MSC:

03E30 Axiomatics of classical set theory and its fragments
03E35 Consistency and independence results

Citations:

Zbl 0854.03047
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Abraham, Handbook of Set Theory Vol. 1 pp 333– (2010) · Zbl 1198.03059 · doi:10.1007/978-1-4020-5764-9_6
[2] Devlin, Perspectives in Mathematical Logic (1984)
[3] Gaifman, Proceedings of Symposia in Pure Mathematics Vol. XIII, Part II pp 33– (1974)
[4] Gitman, Ramsey-like cardinals, J. Symb. Log. 76 (2) pp 519– (2011) · Zbl 1222.03054 · doi:10.2178/jsl/1305810762
[5] Gitman, Tributes Vol. 23 pp 205– (2014)
[6] Hamkins, Canonical seeds and Prikry trees, J. Symb. Log. 62 (2) pp 373– (1997) · Zbl 0890.03024 · doi:10.2307/2275538
[7] Hamkins, Extensions with the approximation and cover properties have no new large cardinals, Fundam. Math. 180 (3) pp 257– (2003) · Zbl 1066.03052
[8] Hamkins, Indestructible strong unfoldability, Notre Dame J. Form. Log. 51 (3) pp 291– (2010) · Zbl 1207.03057 · doi:10.1215/00294527-2010-018
[9] Jech, Interdependence of weakened forms of the axiom of choice, Comment. Math. Univ. Carolinae 7 pp 359– (1966) · Zbl 0199.02001
[10] Jech, Set Theory, Springer Monographs in Mathematics (2003)
[11] Kanamori, Springer Monographs in Mathematics, Second edition (2003)
[12] Laver, Certain very large cardinals are not created in small forcing extensions, Ann. Pure Appl. Log. 149 (1-3) pp 1– (2007) · Zbl 1128.03046
[13] Lévy, The interdependence of certain consequences of the axiom of choice, Fundam. Math. 54 pp 135– (1964) · Zbl 0126.02201
[14] Lévy, Measurable cardinals and the continuum hypothesis, Isr. J. Math. 5 pp 234– (1967)
[15] Neeman, Handbook of Set Theory Vol. 3 pp 1877– (2010) · Zbl 1198.03057 · doi:10.1007/978-1-4020-5764-9_23
[16] Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. Math. 92 pp 1– (1970) · Zbl 0207.00905
[17] A. Zarach Unions of ZF - -models which are themselves ZF - -models Logic Colloquium ’80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic to have been held in Prague, August 24-30, 1980 D. van Dalen D. Lascar T. J. Smiley Studies in Logic and the Foundations of Mathematics Vol. 108 North-Holland 1982 315 342
[18] Zarach, Lecture Notes in Logic Vol. 6 pp 307– (1996)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.