Ineffable cardinal

From Cantor's Attic
Revision as of 13:01, 12 January 2012 by Vgitman (Talk | contribs)

Jump to: navigation, search


Ineffable cardinals were introduced by Jensen and Kunen in [1]. 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.

  • An uncountable regular cardinal $\kappa$ is ineffable if for every function $F:[\kappa]^2\rightarrow 2$ there is a stationary $H\subseteq\kappa$ such that $F\upharpoonright [H]^2$ is constant.

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$.

References

  1. Jensen, Ronald and Kunen, Kenneth. Some combinatorial properties of $L$ and $V$. Unpublished, 1969. www   bibtex
Main library