English

Projective Stationary Sets and Strong Reflection Principle

Logic 2009-09-25 v1

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 ω1\omega_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 ω1\omega_1 is equivalent to a certain kind of reflection.

Keywords

Cite

@article{arxiv.math/9409202,
  title  = {Projective Stationary Sets and Strong Reflection Principle},
  author = {Qi Feng and Thomas Jech},
  journal= {arXiv preprint arXiv:math/9409202},
  year   = {2009}
}