zbMATH — the first resource for mathematics

On a problem inspired by determinacy. (English) Zbl 0661.03040
The early development of consequences of the axiom of determinateness, AD, led to the rather striking results that \(\aleph_ 1\) and \(\aleph_ 2\) are measurable whereas the \(\aleph_ n\) for \(n>2\) are singular. The question whether all regular cardinals are measurable, however, cannot be solved by AD alone. Building on previous work (with J. Henle) and Gitik’s model of ZF \(+ \) “all uncountable cardinals are singular” the author shows that the above question has a non-trivial positive answer, more precisely, if ZFC \(+ \) “there is an almost huge cardinal” is consistent then so is the theory ZF \(+ \) \(``\aleph_ 1\) is measurable via the club filter” \(+ \) “all uncountable cardinals \(>\) \(\aleph_ 1\) are singular.”
Reviewer: K.Gloede

03E60 Determinacy principles
03E35 Consistency and independence results
03E55 Large cardinals
Full Text: DOI
[1] A. Apter,An AD-like model, J. Symb. Logic50(2) (1985), 531–543. · Zbl 0583.03036
[2] A. Apter,Some results on consecutive large cardinals II: Applications of Radin forcing, Isr. J. Math.52(4) (1985), 273–292. · Zbl 0603.03016
[3] A. Apter and J. Henle, Large cardinal structures below , J. Symb. Logic51(3) (1986), 591–603. · Zbl 0634.03050
[4] M. Gitik,All uncountable cardinals can be singular, Isr. J. Math.35(1) (1980), 61–88. · Zbl 0439.03036
[5] M. Gitik,Regular cardinals in models of ZF, Trans. Am. Math. Soc.290(1) (1985), 41–68. · Zbl 0589.03033
[6] T. Jech,Some combinatorial properties concerning uncountable cardinals, Ann. Math. Logic5(1) (1973), 165–198. · Zbl 0262.02062
[7] T. Menas, A combinatorial property ofP {\(\kappa\)}({\(\lambda\)}), J. Symb. Logic41(1) (1976), 225–233. · Zbl 0331.02045
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.