Projective Stationary Sets and a Strong Reflection Principle

DOI10.1112/S0024610798006462MaRDI QIDQ4265405zbMATH OpenWikidataFDO

Authors Qi Feng, Thomas J. Jech

Publication date 13 March 2000

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

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

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)

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.

Recommendations

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

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
• On the structure of stationary sets
• Bounded forcing axioms and the continuum
• Determinacy from strong reflection
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• Forcing notions in inner models
• On a convenient property about \([\gamma]^{\aleph_0}\)
• The diagonal reflection principle
• \(\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
• Martin's maximum and tower forcing
• Separating stationary reflection principles
• 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)