Difference between revisions of "Ineffable"
From Cantor's Attic
(Created page with "A uncountable regular cardinal $\kappa$ is ineffable if for every sequence $\langle A_\alpha\mid \alpha<\kappa\rangle$ with $A_\alpha\subseteq \alpha$ there is $A\subseteq\kappa$...") |
|||
| Line 1: | Line 1: | ||
| − | + | {{DISPLAYTITLE: Ineffable cardinal}} | |
| + | |||
| + | An uncountable regular cardinal $\kappa$ is ineffable if for every sequence $\langle A_\alpha\mid \alpha<\kappa\rangle$ with $A_\alpha\subseteq \alpha$ there is $A\subseteq\kappa$ such that the set $S=\{\alpha<\kappa\mid A\cap \kappa=A_\alpha\}$ is stationary. | ||
| + | |||
| + | ==Weakly ineffable cardinal== | ||
| + | |||
| + | An uncountable regular cardinal $\kappa$ is weakly ineffable if for every sequence $\langle A_\alpha\mid \alpha<\kappa\rangle$ with $A_\alpha\subseteq \alpha$ there is $A\subseteq\kappa$ such that the set $S=\{\alpha<\kappa\mid A\cap \kappa=A_\alpha\}$ has size $\kappa$. | ||
Revision as of 07:24, 12 January 2012
An uncountable regular cardinal $\kappa$ is ineffable if for every sequence $\langle A_\alpha\mid \alpha<\kappa\rangle$ with $A_\alpha\subseteq \alpha$ there is $A\subseteq\kappa$ such that the set $S=\{\alpha<\kappa\mid A\cap \kappa=A_\alpha\}$ is stationary.
Weakly ineffable cardinal
An uncountable regular cardinal $\kappa$ is weakly ineffable if for every sequence $\langle A_\alpha\mid \alpha<\kappa\rangle$ with $A_\alpha\subseteq \alpha$ there is $A\subseteq\kappa$ such that the set $S=\{\alpha<\kappa\mid A\cap \kappa=A_\alpha\}$ has size $\kappa$.
