Projective Stationary Sets and a Strong Reflection Principle

DOI10.1112/S0024610798006462zbMATH Open0932.03058arXivmath/9409202WikidataQ128010389 ScholiaQ128010389MaRDI QIDQ4265405FDOQ4265405

Authors: Qi Feng, Thomas J. Jech 

Publication date: 13 March 2000

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Abstract: We study projective stationary sets. The Projective Stationary Reflection principle is the statement that every projective stationary set contains an increasing continuous $in$--chain of length $omeg{a}_1$. We show that if Martin's Maximum holds, then the Projective Stationary Reflection Principle holds. Also it is equivalent to the Strong Reflection Principle. We show that the saturation of the nonstationary ideal on $omeg{a}_1$ is equivalent to a certain kind of reflection.

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

Recommendations

• On stationary reflection principles
• On the structure of stationary sets
• scientific article; zbMATH DE number 1548922
• Semistationary and stationary reflection

zbMATH Keywords

nonstationary idealMartin's maximumstrong reflection principleprojective stationary reflection principleprojective stationary sets

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

Cited In (21)

• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
• On the universality of the nonstationary ideal
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Canonical fragments of the strong reflection principle
• Stationary reflection and the universal Baire property
• A topological reflection principle equivalent to Shelah’s strong hypothesis
• Bounded forcing axioms and the continuum
• On the structure of stationary sets
• Determinacy from strong reflection
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• The diagonal reflection principle
• Forcing notions in inner models
• On a convenient property about \([\gamma]^{\aleph_0}\)
• \(\text{PFA}(S)[S]\) for the masses
• Strongly proper forcing and some problems of Foreman
• Bounded Martin's Maximum, weak Erdӧs cardinals, and ψ_Ac
• Strongly Baire trees and a cofinal branch principle
• Separating stationary reflection principles
• Martin's maximum and tower forcing
• THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS

This page was built for publication: Projective Stationary Sets and a Strong Reflection Principle

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