On -Strongly Measurable Cardinals

DOI10.1017/fms.2023.15OpenAlexW4327518121MaRDI QIDQ5887139

Yair Hayut, Omer Ben-Neria

Publication date: 17 April 2023

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Supercompact extender based Prikry forcing
• Homogeneous iteration and measure one covering relative to HOD
• A cofinality-preserving small forcing may introduce a special Aronszajn tree
• Changing cofinalities and the nonstationary ideal
• The determinacy of long games
• On \(\kappa\)-compact cardinals
• On singular stationarity. I: Mutual stationarity and ideal-based methods
• Descriptive inner model theory
• Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
• Prikry-Type Forcings
• An Outline of Inner Model Theory
• SUITABLE EXTENDER MODELS I
• Inner Models for Large Cardinals
• The core model for sequences of measures. I
• Stacking mice
• The core model
• The maximality of the core model
• On closed unbounded sets consisting of former regulars
• Iteration Trees
• THE ABC'S of Mice
• SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD
• Homogeneous changes in cofinalities with applications to HOD
• Inner Models and Large Cardinals
• HODas a core model
• LARGE CARDINALS BEYOND CHOICE
• The HOD Dichotomy
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• Some applications of model theory in set theory
• Some applications of iterated ultrapowers in set theory
• Collapsing the cardinals of HOD
• Inner models and large cardinals
• The domestic levels of \(K^c\) are iterable
• Equiconsistencies at subcompact cardinals