Ramsey cardinal
Ramsey cardinals were introduced by Erdős and Hajnal in [1]. A cardinal $\kappa$ is Ramsey if it has the partition property $\kappa\rightarrow (\kappa)^{\lt\omega}_2$. A partition property $\kappa\to(\lambda)^n_\gamma$ asserts that for every function $F:[\kappa]^n\to\gamma$ there is $H\subseteq\kappa$ with $|H|=\lambda$ such that $F\upharpoonright[H]^n$ is constant. The more general partition property $\kappa\to(\lambda)^{\lt\omega}_\gamma$ asserts that for every function $F:[\kappa]^{\lt\omega}\to\gamma$ there is $H\subseteq\kappa$ with $|H|=\lambda$ such that $F\upharpoonright[H]^n$ is constant for every $n$, although the value of $F$ on $[H]^n$ may be different for different $n$. Ramsey cardinals were named in honor of Frank Ramsey, whose Ramsey theorem for partition properties of $\omega$ motivated the generalizations of these to uncountable cardinals.
Ramsey cardinals have a number of other characterizations. They may be characterized model theoretically through the existence of $\kappa$-sized sets of indiscernibles for models meeting the criteria discussed below, as well as through the existence of $\kappa$-sized models of set theory without power set with iterable ultrapowers.
Indiscernibles: Suppose $\mathcal A=(A,\ldots)$ is a model of a language $\mathcal L$ of size less than $\kappa$ whose universe $A$ contains $\kappa$ as a subset.
A cardinal $\kappa$ is Ramsey if and only if every such model $\mathcal A$ has a $\kappa$-sized set of indiscernibles $H\subseteq\kappa$, that is, for every formula $\varphi(\overline x)$ of $\mathcal L$ and every pair of tuples $\overline \alpha$ and $\overline \beta$ of elements of $H$, we have $\mathcal A\models\varphi (\overline \alpha)\leftrightarrow \varphi(\overline \beta)$. [2]
Good sets of indiscernibles: Suppose $A\subseteq\kappa$ and $L_\kappa[A]$ denotes the $\kappa^{\text{th}}$-level of the universe constructible using a predicate for $A$. A set $I\subseteq\kappa$ is a good set of indiscernibles for the model $\langle L_\kappa[A],A\rangle$ if for all $\gamma\in I$,
- $\langle L_\gamma[A\cap \gamma],A\cap \gamma\rangle\prec \langle L_\kappa[A], A\rangle$,
- $I\setminus\gamma$ is a set of indiscernibles for the model $\langle L_\kappa[A], A,\xi\rangle_{\xi\in\gamma}$.
A cardinal $\kappa$ is Ramsey if and only if for every $A\subseteq\kappa$, there is a $\kappa$-sized good set of indiscernibles for the model $\langle L_\kappa[A], A\rangle$. [3]
$M$-ultrafilters: Suppose a transitive $M\models {\rm ZFC}^-$, the theory ${\rm ZFC}$ without the power set axiom (and using collection and separation rather than merely replacement) and $\kappa$ is a cardinal in $M$. We call $U\subseteq P(\kappa)^M$ an $M$-ultrafilter if the model $\langle M,U\rangle\models$“$U$ is a normal ultrafilter on $\kappa$”. In the case when the $M$-ultrafilter is not an element of $M$, the model $\langle M,U\rangle$ of $M$ together with a predicate for $U$ often fails to satisfy much of ${\rm ZFC}$. An $M$-ultrafilter $U$ is said to be weakly amenable (to $M$) if for every $A\in M$ of size $\kappa$ in $M$, the intersection $A\cap U$ is an element of $M$. An $M$-ultrafilter $U$ is countably complete if every countable sequence (possibly external to $M$) of elements of $U$ has a non-empty intersection (even if the intersection is not itself an element of $M$). A weak $\kappa$-model is a transitive set $M\models {\rm ZFC}^- $ of size $\kappa$ and containing $\kappa$ as an element. A modified ultrapower construction using only functions on $\kappa$ that are elements of $M$ can be carried out with an $M$-ultrafilter. If the $M$-ultrafilter happens to be countably complete, then the standard argument shows that the ultrapower is well-founded. If the $M$-ultrafilter is moreover weakly amenable, then a weakly amenable ultrafilter on the image of $\kappa$ in the well-founded ultrapower can be constructed from images of the pieces of $U$ that are in $M$. The ultrapower construction may be iterated in this manner, taking direct limits at limit stages, and in this case the countable completeness of the $M$-ultrafilter ensures that every stage of the iteration produces a well-founded model. [4] (Ch. 19)
A cardinal $\kappa$ is Ramsey if and only if every $A\subseteq\kappa$ is contained in a weak $\kappa$-model $M$ for which there exists a weakly amenable countably complete $M$-ultrafilter on $\kappa$. [3]
Contents
Ramsey cardinals and the constructible universe
Ramsey cardinals imply that $0^\sharp$ exists and hence cannot exist in $L$. [4]
Ramsey cardinals and forcing
- Ramsey cardinals are preserved by small forcing. [4]
- Ramsey cardinals are preserved by the canonical forcing of the ${\rm GCH}$ and by fast function forcing. [5]
- If $\kappa$ is Ramsey, there is a forcing extension in which $\kappa$ remains Ramsey and $2^\kappa\gt\kappa$. [5]
- If the existence of Ramsey cardinals is consistent with ZFC, then there is a model of ZFC in which $\kappa$ is not Ramsey, but becomes Ramsey in a forcing extension[6].
Strongly Ramsey Cardinals
Strongly Ramsey cardinals were introduced by Gitman in [3]. They were motivated by generalizing the $M$-ultrafilters characterization of Ramsey cardinals from weak $\kappa$-models to $\kappa$-models.
References
- Erdős, Paul and Hajnal, Andras. Some remarks concerning our paper ``On the structure of set-mappings''. Non-existence of a two-valued $\sigma $-measure for the first uncountable inaccessible cardinal. Acta Math Acad Sci Hungar 13:223--226, 1962. MR bibtex
- Jech, Thomas J. Set Theory. Third, Springer-Verlag, Berlin, 2003. (The third millennium edition, revised and expanded) www bibtex
- Gitman, Victoria. Ramsey-like cardinals. The Journal of Symbolic Logic 76(2):519-540, 2011. www arχiv MR bibtex
- Kanamori, Akihiro. The higher infinite. Second, Springer-Verlag, Berlin, 2009. (Large cardinals in set theory from their beginnings, Paperback reprint of the 2003 edition) www bibtex
- Gitman, Victoria and Johnstone, Thomas A. Indestructibility for Ramsey and Ramsey-like cardinals. (In preparation) www bibtex
- Kunen, Kenneth. Saturated Ideals. J Symbolic Logic 43(1):65--76, 1978. www bibtex