TY - JOUR
T1 - Instances of dependent choice and the measurability of אω + 1
AU - Apter, Arthur W.
AU - Magidor, Menachem
PY - 1995/8/18
Y1 - 1995/8/18
N2 - Starting from cardinals κ < λ where κ is 2λ supercompact and λ > κ is measurable, we construct a model for the theory "ZF + ∀n < ω[DCאn] + אω + 1 is a measurable cardinal". This is the maximum amount of dependent choice consistent with the measurability of אω + 1, and by a theorem of Shelah using p.c.f. theory, is the best result of this sort possible.
AB - Starting from cardinals κ < λ where κ is 2λ supercompact and λ > κ is measurable, we construct a model for the theory "ZF + ∀n < ω[DCאn] + אω + 1 is a measurable cardinal". This is the maximum amount of dependent choice consistent with the measurability of אω + 1, and by a theorem of Shelah using p.c.f. theory, is the best result of this sort possible.
UR - http://www.scopus.com/inward/record.url?scp=33750683815&partnerID=8YFLogxK
U2 - 10.1016/0168-0072(94)00039-6
DO - 10.1016/0168-0072(94)00039-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:33750683815
SN - 0168-0072
VL - 74
SP - 203
EP - 219
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 3
ER -