The structure of the Mitchell order. II.

DOI10.1016/J.APAL.2015.08.003zbMATH Open1372.03095arXiv1408.3621OpenAlexW2562971673MaRDI QIDQ499083FDOQ499083

Authors: Omer Ben-Neria 

Publication date: 29 September 2015

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

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.

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

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

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)

Cites Work

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

Cited In (11)

• The ⊲-ordering on normal ultrafilters
• Possible behaviours for the Mitchell ordering II
• 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)