Skip to main content
edited title
Link
Asaf Karagila
  • 39.7k
  • 8
  • 134
  • 282

fat Fat stationary sets

added 2 characters in body
Source Link
Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type \alpha$\alpha$ contained in $S \cap C$. It is a result of Stavi, proved here, that:

(1) For every regular cardinal $\kappa$ and every stationary $S \subseteq \kappa^+ \cap \mathrm{cf}(\kappa)$, $S \cup \mathrm{cf}(<\kappa)$ is fat.

(2) If $S \subseteq \kappa$ is fat, and $2^{<\alpha} < \kappa$ for all $\alpha< \kappa$, then there is a $<\kappa$-distributive forcing of size $2^{<\kappa}$ which forces a club $C \subseteq S$. Furthermore, the forcing preserves every stationary subset of $S$.

Questions: Suppose $\kappa$ is either (a) inaccessible or (b) the successor of singular cardinal, and GCH holds. Is it true that there is a sequence of disjoint stationary sets $\langle S_\alpha : \alpha < \kappa \rangle$ and some set $T$ disjoint from all $S_\alpha$ with the following property? For all clubs $C$, and all $\alpha,\beta < \kappa$, there is a closed subset $p$ of $C \cap (T \cup S_\alpha)$ with order type $\geq \beta$, and $\max p \in S_\alpha$. An answer under additional combinatorial assumptions (known to be consistent) would be welcome.

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type \alpha contained in $S \cap C$. It is a result of Stavi, proved here, that:

(1) For every regular cardinal $\kappa$ and every stationary $S \subseteq \kappa^+ \cap \mathrm{cf}(\kappa)$, $S \cup \mathrm{cf}(<\kappa)$ is fat.

(2) If $S \subseteq \kappa$ is fat, and $2^{<\alpha} < \kappa$ for all $\alpha< \kappa$, then there is a $<\kappa$-distributive forcing of size $2^{<\kappa}$ which forces a club $C \subseteq S$. Furthermore, the forcing preserves every stationary subset of $S$.

Questions: Suppose $\kappa$ is either (a) inaccessible or (b) the successor of singular cardinal, and GCH holds. Is it true that there is a sequence of disjoint stationary sets $\langle S_\alpha : \alpha < \kappa \rangle$ and some set $T$ disjoint from all $S_\alpha$ with the following property? For all clubs $C$, and all $\alpha,\beta < \kappa$, there is a closed subset $p$ of $C \cap (T \cup S_\alpha)$ with order type $\geq \beta$, and $\max p \in S_\alpha$. An answer under additional combinatorial assumptions (known to be consistent) would be welcome.

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type $\alpha$ contained in $S \cap C$. It is a result of Stavi, proved here, that:

(1) For every regular cardinal $\kappa$ and every stationary $S \subseteq \kappa^+ \cap \mathrm{cf}(\kappa)$, $S \cup \mathrm{cf}(<\kappa)$ is fat.

(2) If $S \subseteq \kappa$ is fat, and $2^{<\alpha} < \kappa$ for all $\alpha< \kappa$, then there is a $<\kappa$-distributive forcing of size $2^{<\kappa}$ which forces a club $C \subseteq S$. Furthermore, the forcing preserves every stationary subset of $S$.

Questions: Suppose $\kappa$ is either (a) inaccessible or (b) the successor of singular cardinal. Is it true that there is a sequence of disjoint stationary sets $\langle S_\alpha : \alpha < \kappa \rangle$ and some set $T$ disjoint from all $S_\alpha$ with the following property? For all clubs $C$, and all $\alpha,\beta < \kappa$, there is a closed subset $p$ of $C \cap (T \cup S_\alpha)$ with order type $\geq \beta$, and $\max p \in S_\alpha$. An answer under additional combinatorial assumptions (known to be consistent) would be welcome.

Source Link
Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114

fat stationary sets

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type \alpha contained in $S \cap C$. It is a result of Stavi, proved here, that:

(1) For every regular cardinal $\kappa$ and every stationary $S \subseteq \kappa^+ \cap \mathrm{cf}(\kappa)$, $S \cup \mathrm{cf}(<\kappa)$ is fat.

(2) If $S \subseteq \kappa$ is fat, and $2^{<\alpha} < \kappa$ for all $\alpha< \kappa$, then there is a $<\kappa$-distributive forcing of size $2^{<\kappa}$ which forces a club $C \subseteq S$. Furthermore, the forcing preserves every stationary subset of $S$.

Questions: Suppose $\kappa$ is either (a) inaccessible or (b) the successor of singular cardinal, and GCH holds. Is it true that there is a sequence of disjoint stationary sets $\langle S_\alpha : \alpha < \kappa \rangle$ and some set $T$ disjoint from all $S_\alpha$ with the following property? For all clubs $C$, and all $\alpha,\beta < \kappa$, there is a closed subset $p$ of $C \cap (T \cup S_\alpha)$ with order type $\geq \beta$, and $\max p \in S_\alpha$. An answer under additional combinatorial assumptions (known to be consistent) would be welcome.