English

On $2$-stationarity of $\mathcal{P}_{\kappa}\lambda$

Logic 2026-07-18 v1

Abstract

The notion of nn-stationary subsets of Pκλ\mathcal{P}_\kappa \lambda for n<ωn < \omega were introduced and studied by Cody, Lambie-Hanson \& Zhang \cite{CLHZ} and Torres \cite{T}. They proved that if κ\kappa is supercompact, then Pκλ\mathcal{P}_\kappa \lambda is nn-stationary in itself for all cardinals λκ\lambda \geq \kappa and all n<ωn < \omega. In this paper we prove that strong compactness of κ\kappa does not imply the 22-stationarity of Pκλ\mathcal{P}_\kappa \lambda for cardinals λ>κ\lambda > \kappa. We also discuss Menas' Theorem for 11-stationary and 22-stationary subsets of Pκλ\mathcal{P}_\kappa \lambda.

Cite

@article{arxiv.2607.16563,
  title  = {On $2$-stationarity of $\mathcal{P}_{\kappa}\lambda$},
  author = {Hiroshi Sakai and M. Catalina Torres},
  journal= {arXiv preprint arXiv:2607.16563},
  year   = {2026}
}

Comments

27 Pages, Submitted for Publication