The Morris model

DOI10.1090/PROC/14770zbMATH Open1477.03212arXiv1811.10977OpenAlexW3103409204MaRDI QIDQ5212436FDOQ5212436

Authors: Asaf Karagila 

Publication date: 29 January 2020

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: Douglass B. Morris announced in 1970 that it is consistent with ZF that "For every $alpha$, there exists a set $A_{a}lpha$ which is the countable union of countable sets, and $mathcalP(A_{a}lpha)$ can be partitioned into $alep{h}_{a}lpha$ 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$").

Full work available at URL: https://arxiv.org/abs/1811.10977

Recommendations

• scientific article; zbMATH DE number 67942
• The Harrod model
• The Sherrington-Kirkpatrick model
• On the Mróz model
• The Lund Model
• The Lund Model
• The McDonald Gumbel model
• The de Branges-Rovnyak Model
• The Cgmanova Model

zbMATH Keywords

axiom of choicecountable union theoremsymmetric extensionsiterations of symmetric extensions

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Cites Work

• The axiom of choice
• All uncountable cardinals can be singular
• Fodor's lemma can fail everywhere
• The Bristol model: an abyss called a Cohen real
• Iterating symmetric extensions
• Preserving dependent choice

Cited In (4)

• The Lund Model
• The Lund Model
• TAKING REINHARDT’S POWER AWAY
• Preserving dependent choice

This page was built for publication: The Morris model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5212436)