On a problem inspired by determinacy
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.
- The strength of choiceless patterns of singular and weakly compact cardinals
- Some new upper bounds in consistency strength for certain choiceless large cardinal patterns
- On the class of measurable cardinals without the axiom of choice
- Successors of singular cardinals and measurability
- A General Setting for the Pointwise Investigation of Determinacy
- The axiom of determinateness implies ω_2 has precisely two countably complete, uniform, weakly normal ultrafilters
- scientific article; zbMATH DE number 4031659 (Why is no real title available?)
- AD and patterns of singular cardinals below Θ
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)