On a problem inspired by determinacy

From MaRDI portal





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.











This page was built for publication: On a problem inspired by determinacy

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