On the structure of stationary sets

From MaRDI portal
(Redirected from Publication:995720)



Abstract: We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.


This paper investigates relationships between various types of stationary subsets of~\([\kappa]^\omega\) for various~\(\kappa\) (larger than~\(\aleph_1\)). These are club, local club, full, projective, reflective and spanning (for definitions consult the paper). Under the Weak Reflection Principle, which states that for every stationary set~\(S\subseteq[\kappa]^\omega\) there exists a set \(X\) of size \(\aleph_1\) such that \(\omega_1\subseteq X\) and \(S\cap[X]^\omega\) is stationary, we obtain two groups of three equivalent notions. There are also connections with semiproper and stationarity-preserving forcing notions, e.g., \(S\) is spanning iff \(P_S\) is semiproper, where \(P_S\) shoots an \(\omega_1\)-chain through~\(S\), and it it stationarity-preserving iff \(S\)~is projective. The paper is worth reading.











This page was built for publication: On the structure of stationary sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995720)