Square principles in \(\mathbb{P}_{\max}\) extensions
From MaRDI portal
Publication:522300
DOI10.1007/s11856-017-1444-8zbMath1368.03048arXiv1205.4275OpenAlexW3106222456MaRDI QIDQ522300
Grigor Sargsyan, Martin Zeman, Andrés Eduardo Caicedo, Paul B. Larson, Ralf-Dieter Schindler, J. R. Steel
Publication date: 28 April 2017
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.4275
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items (7)
Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire ⋮ A brief account of recent developments in inner model theory ⋮ Supercompactness can be equiconsistent with measurability ⋮ On the derived models of self-iterable universes
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global square sequences in extender models
- Coherent sequences and threads
- Hod mice and the Mouse Set Conjecture
- An Outline of Inner Model Theory
- Structural Consequences of AD
- Large Cardinals from Determinacy
- Forcing over Models of Determinacy
- A new class of order types
- Fragments of Martin's Maximum in generic extensions
- Set Theory
- Separating stationary reflection principles
- SEALING OF THE UNIVERSALLY BAIRE SETS
- THE MOUSE SET CONJECTURE FOR SETS OF REALS
- The fine structure of the constructible hierarchy
- CHARACTERIZATION OF □κ IN CORE MODELS
- Inner models and large cardinals
This page was built for publication: Square principles in \(\mathbb{P}_{\max}\) extensions