CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS

DOI10.1017/JSL.2021.29OpenAlexW3159229473MaRDI QIDQ5159498

Philipp Lücke, Sandra Müller

Publication date: 27 October 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

ultrapowersmeasurable cardinalsfresh subsetssquare sequencescanonical inner models

Mathematics Subject Classification ID

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

Related Items (1)

-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders

Cites Work

• Unnamed Item
• Unnamed Item
• Fresh subsets of ultrapowers
• On measurable cardinals violating the continuum hypothesis
• Notes on singular cardinal combinatorics
• More fine structural global square sequences
• Partitioning pairs of countable ordinals
• Indexed squares
• A characterization of \(\square(\kappa^{+})\) in extender models
• The strength of the failure of the singular cardinal hypothesis
• Coherent sequences and threads
• SQUARES, SCALES AND STATIONARY REFLECTION
• Square in Core Models
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Iterated Forcing and Elementary Embeddings
• Stacking mice
• Indescribable cardinals and elementary embeddings
• Small forcing makes any cardinal superdestructible
• SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS
• Set Theory
• Measurable cardinals and good ‐wellorderings
• Strong ultrapowers and long core models
• SQUARES AND NARROW SYSTEMS
• PFA implies AD^L(ℝ)
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS

This page was built for publication: CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS