Forcing axioms and stationary sets

DOI10.1016/0001-8708(92)90038-MzbMath0785.03031OpenAlexW2152989620WikidataQ114686924 ScholiaQ114686924MaRDI QIDQ1201333

Publication date: 17 January 1993

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(92)90038-m

zbMATH Keywords

reflection countable chain condition stationary sets entangled sets of reals semiproper forcing axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Other set-theoretic hypotheses and axioms (03E65)

Related Items

Uniformization problems and the cofinality of the infinite symmetric group ⋮ Can a small forcing create Kurepa trees ⋮ Hereditary normality of $\gamma\mathbb{N}$-spaces ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ Bounded dagger principles ⋮ Semi-Cohen Boolean algebras ⋮ The $\ast$-variation of the Banach-Mazur game and forcing axioms ⋮ Martin's maximum and tower forcing ⋮ On constructions with 2-cardinals ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ On the cardinality of separable pseudoradial spaces ⋮ Morasses, square and forcing axioms ⋮ Martin's axiom and the continuum ⋮ Operations, climbability and the proper forcing axiom ⋮ Incompatible bounded category forcing axioms ⋮ Set theory and the analyst ⋮ What makes the continuum ℵ₂ ⋮ Hierarchies of forcing axioms II ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles ⋮ Subcomplete forcing principles and definable well‐orders ⋮ Sigma-Prikry forcing. III: Down to $\aleph_{\omega}$ ⋮ Reflection principles, GCH and the uniformization properties ⋮ Open colorings, the continuum and the second uncountable cardinal ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ Forcing axioms via ground model interpretations ⋮ Calculating quotient algebras of generic embeddings ⋮ On the consistency strength of the proper forcing axiom ⋮ SET MAPPING REFLECTION ⋮ Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics ⋮ Hierarchies of forcing axioms I ⋮ Forcing with sequences of models of two types ⋮ Coherent sequences and threads ⋮ Simple proofs of SCH from reflection principles without using better scales ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Weak diamond and Galvin's property ⋮ A new Löwenheim-Skolem theorem ⋮ Saturation, Suslin trees and meager sets ⋮ Weakly Ramsey sets in Banach spaces ⋮ Bounded forcing axioms and the continuum ⋮ The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis ⋮ Determinacy and weakly Ramsey sets in Banach spaces ⋮ Unnamed Item ⋮ CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS ⋮ LOCAL CLUB CONDENSATION AND L-LIKENESS ⋮ Separating stationary reflection principles ⋮ PCF structures of height less thanω₃ ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Stacking mice ⋮ Scott's problem for Proper Scott sets ⋮ Morasses and finite support iterations ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders ⋮ Forcing the mapping reflection principle by finite approximations ⋮ Winning strategies in club games and their applications ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS ⋮ On the Weak Reflection Principle ⋮ The proper forcing axiom and the singular cardinal hypothesis ⋮ Strongly Baire trees and a cofinal branch principle ⋮ Forcing notions in inner models ⋮ The nonstationary ideal and the other 𝜎-ideals on 𝜔₁ ⋮ Complexity of reals in inner models of set theory ⋮ Partition subalgebras for maximal almost disjoint families ⋮ Forcing consequences of $PFA$ together with the continuum large

Cites Work