The structure of the Mitchell order. II.

DOI10.1016/j.apal.2015.08.003zbMath1372.03095arXiv1408.3621OpenAlexW2562971673MaRDI QIDQ499083

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

forcingmeasurable cardinalnormal ultrafiltersMitchell order

Mathematics Subject Classification ID

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

Related Items (6)

The structure of the Mitchell order. I ⋮ Rigid ideals ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ The structure of the Mitchell order. II. ⋮ Infinite decreasing chains in the Mitchell order ⋮ Normal measures on large cardinals

Cites Work

• The structure of the Mitchell order. II.
• Possible behaviours for the Mitchell ordering
• Measurable cardinals and the continuum hypothesis
• Forcing Magidor iteration over a core model below \(0^P\)
• Disassociated indiscernibles
• Sets constructed from sequences of measures: Revisited
• The number of normal measures
• 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
• The well-foundedness of the Mitchell order
• Possible behaviours for the Mitchell ordering II
• Any behaviour of the Mitchell ordering of normal measures is possible
• The Mitchell order below rank-to-rank
• Iterates of the core model
• Boolean extensions and measurable cardinals
• Some applications of iterated ultrapowers in set theory

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