On -strongly measurable cardinals in P_ extensions

DOI10.1142/S0219061324500181MaRDI QIDQ6992444zbMATH OpenFDO

Authors Navin Aksornthong, Takehiko Gappo, James N. Holland, Grigor Sargsyan

Publication date 28 April 2025

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0219061324500181

zbMATH Keywords

\(\mathbb{P}_{\max}\) forcing\(\omega\)-strongly measurable cardinalsdeterminacyHOD conjectureinner model theory

Mathematics Subject Classification ID

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

Cites work

• HODas a core model
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• A Comparison Process for Mouse Pairs
• An introduction to combinatorics of determinacy
• An outline of inner model theory
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Covering with Chang models over derived models
• Descriptive set theory
• Forcing over models of determinacy
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• scientific article; zbMATH DE number 3603272 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• On -Strongly Measurable Cardinals
• On the derived models of self-iterable universes
• Set Theory
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Stacking mice
• Suitable extender models. I
• The derived model theorem
• The extender algebra and Σ21-absoluteness
• The HOD dichotomy

This page was built for publication: On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6992444)