The Morris model

DOI10.1090/PROC/14770MaRDI QIDQ5212436zbMATH OpenOpenAlexFDO

Authors Asaf Karagila

Publication date 29 January 2020

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

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

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)

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$").

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

Cites work

• All uncountable cardinals can be singular
• Fodor's lemma can fail everywhere
• Iterating symmetric extensions
• Preserving dependent choice
• The Bristol model: an abyss called a Cohen real
• The axiom of 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)