The Morris model
Author:
Asaf Karagila
Journal:
Proc. Amer. Math. Soc. 148 (2020), 1311-1323
MSC (2010):
Primary 03E25; Secondary 03E35
DOI:
https://doi.org/10.1090/proc/14770
Published electronically:
September 20, 2019
MathSciNet review:
4055957
Full-text PDF
Abstract | References | Similar Articles | Additional Information
Abstract: Douglass B. Morris announced in 1970 that it is consistent with $\mathsf {ZF}$ that “For every $\alpha$, there exists a set $A_\alpha$ which is the countable union of countable sets, and $\mathcal P(A_\alpha )$ can be partitioned into $\aleph _\alpha$ non-empty sets”. The result was never published in a journal (it was proved in full in Morris’ dissertation) and seems to have been lost, save a mention in Jech’s “Axiom of Choice”. We provide a proof using modern tools derived from recent work of the author. We also prove a new preservation theorem for general products of symmetric systems, which we use to obtain the consistency of Dependent Choice with the above statement (replacing “countable union of countable sets” by “union of $\kappa$ sets of size $\kappa$”).
- Anne Fernengel and Peter Koepke, An Easton-like theorem for Zermelo–Fraenkel set theory without choice, ArXiv e-prints 1607.00205 (2016), 1–57.
- M. Gitik, All uncountable cardinals can be singular, Israel J. Math. 35 (1980), no. 1-2, 61–88. MR 576462, DOI https://doi.org/10.1007/BF02760939
- Thomas J. Jech, The axiom of choice, North-Holland Publishing Co., Amsterdam-London; Amercan Elsevier Publishing Co., Inc., New York, 1973. Studies in Logic and the Foundations of Mathematics, Vol. 75. MR 0396271
- A. Karagila, Fodor’s lemma can fail everywhere, Acta Math. Hungar. 154 (2018), no. 1, 231–242. MR 3746534, DOI https://doi.org/10.1007/s10474-017-0768-5
- Asaf Karagila, The Bristol model: an abyss called a Cohen real, J. Math. Log. 18 (2018), no. 2, 1850008, 37. MR 3878470, DOI https://doi.org/10.1142/S0219061318500083
- Asaf Karagila, Iterating symmetric extensions, J. Symb. Log. 84 (2019), no. 1, 123–159. MR 3922788, DOI https://doi.org/10.1017/jsl.2018.73
- Asaf Karagila, Preserving dependent choice, Bull. Pol. Acad. Sci. Math. 67 (2019), no. 1, 19–29. MR 3947821, DOI https://doi.org/10.4064/ba8169-12-2018
- Douglass Bert Morris, ADDING TOTAL INDISCERNIBLES TO MODELS OF SET THEORY, ProQuest LLC, Ann Arbor, MI, 1970. Thesis (Ph.D.)–The University of Wisconsin - Madison. MR 2620293
Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03E25, 03E35
Retrieve articles in all journals with MSC (2010): 03E25, 03E35
Additional Information
Asaf Karagila
Affiliation:
School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, United Kingdom
MR Author ID:
1075269
ORCID:
0000-0003-1289-0904
Email:
karagila@math.huji.ac.il
Keywords:
Axiom of choice,
symmetric extensions,
iterations of symmetric extensions,
countable union theorem
Received by editor(s):
November 27, 2018
Received by editor(s) in revised form:
February 13, 2019, and July 22, 2019
Published electronically:
September 20, 2019
Additional Notes:
The author was supported by the Royal Society grant no. NF170989
Communicated by:
Heike Mildenberger
Article copyright:
© Copyright 2019
American Mathematical Society