Square principles in P_ extensions

DOI10.1007/S11856-017-1444-8zbMATH Open1368.03048arXiv1205.4275OpenAlexW3106222456MaRDI 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)

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)$.

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

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 \((*)\)

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)

Cites Work

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

Cited In (18)

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

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)