English

On Singular Stationarity II (tight stationarity and extenders-based methods)

Logic 2017-10-10 v1

Abstract

We study the notion of tightly stationary sets which was introduced by Foreman and Magidor in \cite{ForMag-MS}. We obtain two consistency results which show that it is possible for a sequence of regular cardinals (κn)n<ω( \kappa_n )_{n < \omega} to have the property that for every sequence S\vec{S}, of some fixed-cofinality stationary sets SnκnS_n \subseteq \kappa_n, S\vec{S} is tightly stationary in a generic extension. The results are obtained using variations of the short-extenders forcing method.

Keywords

Cite

@article{arxiv.1710.02713,
  title  = {On Singular Stationarity II (tight stationarity and extenders-based methods)},
  author = {Omer Ben-Neria},
  journal= {arXiv preprint arXiv:1710.02713},
  year   = {2017}
}