Square principles in P_ extensions

DOI10.1007/S11856-017-1444-8zbMATH1368.03048OpenAlexW3106222456MaRDI QIDQ522300FDOQ522300

Authors Andrés Eduardo Caicedo, Grigor Sargsyan, Martin Zeman, Paul Larson, Ralf Schindler, John 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

zbMATH Keywords

axiom of determinacysquare principles\(\mathbb P_{\max}\)

Mathematics Subject Classification ID

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

Abstract: By forcing with $mathbb{P}_{mmax}$ over strong models of determinacy, we obtain models where different square principles at $omeg{a}_2$ and $omeg{a}_3$ fail. In particular, we obtain a model of $2^{alep{h}_0}=2^{alep{h}_1}=alep{h}_2+lnotsquare(omeg{a}_2)+lnotsquare(omeg{a}_3)$.

Recommendations

• An introduction to \(\mathbb{P}_{\max}\) forcing
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Forcing over models of determinacy
• A simple maximality principle
• The nonstationary ideal in the ℙ_max extension
• Closed maximality principles: implications, separations and combinations
• An variation for one souslin tree
• Chang's conjecture and the non-stationary ideal
• scientific article; zbMATH DE number 5657615
• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)

Cites work

• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• scientific article; zbMATH DE number 3603272 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1795301 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• scientific article; zbMATH DE number 2222015 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• A new class of order types
• A trichotomy theorem in natural models of \(\text{AD}^+\)
• An outline of inner model theory
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Coherent sequences and threads
• Descriptive set theory
• Forcing over models of determinacy
• Fragments of Martin's Maximum in generic extensions
• Global square sequences in extender models
• Hod mice and the mouse set conjecture
• Inner models and large cardinals
• Large cardinals from determinacy
• More structural consequences of AD
• SEALING OF THE UNIVERSALLY BAIRE SETS
• Separating stationary reflection principles
• Set Theory
• Structural consequences of AD
• The fine structure of the constructible hierarchy
• The higher infinite. Large cardinals in set theory from their beginnings.
• The mouse set conjecture for sets of reals

Cited in

(18)

• ℙmax variations related to slaloms
• Supercompactness can be equiconsistent with measurability
• Indexed squares
• Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
• The nonstationary ideal in the ℙ_max extension
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• Forcing over models of determinacy
• Applications of regular filters and square principles in model theory
• A brief account of recent developments in inner model theory
• Partial square at \(\omega _1\) is implied by MM but not by PFA
• Chain conditions in maximal models
• Squares and narrow systems
• On the derived models of self-iterable universes
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Modified extender based forcing
• Nontame mouse from the failure of square at a singular strong limit cardinal
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• The exact consistency strength of the generic absoluteness for the universally Baire sets

This page was built for publication: Square principles in \(\mathbb{P}_{\max}\) extensions

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