English

Full Reflection at a Measurable Cardinal

Logic 2008-02-03 v1

Abstract

A stationary subset SS of a regular uncountable cardinal κ\kappa {\it reflects fully} at regular cardinals if for every stationary set TκT \subseteq \kappa of higher order consisting of regular cardinals there exists an αT\alpha \in T such that SαS \cap \alpha is a stationary subset of α\alpha. {\it Full Reflection} states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than κ\kappa having Mitchell order κ++\kappa^{++} it is consistent that Full Reflection holds at every λκ\lambda \leq \kappa and κ\kappa is measurable.

Keywords

Cite

@article{arxiv.math/9302202,
  title  = {Full Reflection at a Measurable Cardinal},
  author = {Thomas Jech and Jiří Witzany},
  journal= {arXiv preprint arXiv:math/9302202},
  year   = {2008}
}