The structure of the Mitchell order. I

DOI10.1007/s11856-016-1368-8zbMath1368.03047arXiv1408.3613OpenAlexW2963949588MaRDI QIDQ312329

Omer Ben-Neria

Publication date: 15 September 2016

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

measurable cardinalsMitchell ordertame orders

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (4)

COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ A Mathias criterion for the Magidor iteration of Prikry forcings ⋮ 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
• Forcing Magidor iteration over a core model below \(0^P\)
• Disassociated indiscernibles
• Sets constructed from sequences of measures: Revisited
• Prikry-Type Forcings
• Beginning Inner Model Theory
• An Outline of Inner Model Theory
• The number of normal measures
• Large cardinals with few measures
• Perfect trees and elementary embeddings
• 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
• Boolean extensions and measurable cardinals
• Some applications of iterated ultrapowers in set theory
• Inner models and large cardinals

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