The structure of the Mitchell order. II.

DOI10.1016/J.APAL.2015.08.003MaRDI QIDQ499083zbMATH OpenOpenAlexFDO

Authors Omer Ben-Neria

Publication date 29 September 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingMitchell ordermeasurable cardinalnormal ultrafilters

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other classical set theory (including functions, relations, and set algebra) (03E20) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We address the question regarding the structure of the Mitchell order on normal measures. We show that every well founded order can be realized as the Mitchell order on a measurable cardinal $kappa$ from some large cardinal assumption.

Recommendations

• The structure of the Mitchell order. I
• Normal measures on large cardinals
• The linearity of the Mitchell order
• Possible behaviours for the Mitchell ordering
• The ⊲-ordering on normal ultrafilters
• Disassociated indiscernibles
• Any behaviour of the Mitchell ordering of normal measures is possible
• The well-foundedness of the Mitchell order
• The subcompleteness of Magidor forcing
• scientific article; zbMATH DE number 2166914

Cites work

• Any behaviour of the Mitchell ordering of normal measures is possible
• Boolean extensions and measurable cardinals
• Disassociated indiscernibles
• Forcing Magidor iteration over a core model below \(0^P\)
• How large is the first strongly compact cardinal? or a study on identity crises
• Iterates of the core model
• Large cardinals with few measures
• Measurable cardinals and the continuum hypothesis
• Possible behaviours for the Mitchell ordering
• Possible behaviours for the Mitchell ordering II
• Sets constructed from sequences of measures: Revisited
• Sets constructible from sequences of ultrafilters
• Some applications of iterated ultrapowers in set theory
• The Mitchell order below rank-to-rank
• The number of normal measures
• The structure of the Mitchell order. II.
• The well-foundedness of the Mitchell order
• The ⊲-ordering on normal ultrafilters

Cited in

(12)

• The ⊲-ordering on normal ultrafilters
• Possible behaviours for the Mitchell ordering II
• Any behaviour of the Mitchell ordering of normal measures is possible
• The structure of the Mitchell order. I
• Rigid ideals
• The structure of the Mitchell order. II.
• Infinite decreasing chains in the Mitchell order
• The well-foundedness of the Mitchell order
• The Ketonen order
• The Mitchell order below rank-to-rank
• Normal measures on large cardinals
• COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES

This page was built for publication: The structure of the Mitchell order. II.

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