English

Higher stationarity and derived topologies on $\mathcal{P}_{\kappa}(A)$

Logic 2025-01-31 v4

Abstract

Let κ\kappa be a regular limit cardinal, κA\kappa \subseteq A. We study a notion of nn-s-stationarity on Pκ(A)\mathcal{P}_{\kappa}(A). We construct a sequence of topologies τ0,τ1,\langle \tau_0, \tau_1, \dots \rangle on Pκ(A)\mathcal{P}_{\kappa}(A) characterising the simultaneous reflection of a pair of nn-s-stationary sets in terms of elements in the base of τn\tau_n. This result constitutes a complete generalisation to the context of Pκ(A)\mathcal{P}_{\kappa}(A) of Bagaria's prior characterisation of nn-simultaneous reflection in terms of derived topologies on ordinals.

Keywords

Cite

@article{arxiv.2402.00805,
  title  = {Higher stationarity and derived topologies on $\mathcal{P}_{\kappa}(A)$},
  author = {M. Catalina Torres},
  journal= {arXiv preprint arXiv:2402.00805},
  year   = {2025}
}

Comments

36 Pages, Revised Version. Accepted for publication in the Israel Journal of Mathematics