Difference between revisions of "Ramsey"

From Cantor's Attic
Jump to: navigation, search
Line 1: Line 1:
 
{{DISPLAYTITLE: Ramsey cardinal}}
 
{{DISPLAYTITLE: Ramsey cardinal}}
  
Ramsey cardinals were introduced by Erd&#337;s and Hajnal in <cite>ErdosHajnal1962:Ramsey</cite>. A cardinal $\kappa$ is Ramsey if it has the partition property $\kappa\rightarrow (\kappa)^{\lt\omega}_2$ (see the [[weakly compact|weakly compact cardinals]] entry for notation meaning). They were named in honor of Frank Ramsey, whose Ramsey theorem for partition relations on $\omega$ motivated the generalizations to the larger infinite context. Ramsey cardinals is a robust large cardinal notion that is characterized model theoretically through the existence of $\kappa$-sized sets of indiscernibles for certain structures, as well as through the existence of iterable ultrapowers for certain models of weak set theory.
+
Ramsey cardinals were introduced by Erd&#337;s and Hajnal in <cite>ErdosHajnal1962:Ramsey</cite>. 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.  
 +
 
 +
A Ramsey cardinal 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.
  
 
'''Models with indiscernibles''':
 
'''Models with indiscernibles''':
Line 15: Line 17:
  
 
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$.
 
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$.
 +
 +
==References==
 +
<biblio>
 +
#[[Library]]
 +
</biblio>

Revision as of 09:32, 10 January 2012


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.

A Ramsey cardinal 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.

Models with 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. Then $\kappa$ is Ramsey if and only if every such model $\mathcal A$ has a $\kappa$-sized set of indiscernibles $H\subseteq\kappa$, i.e. for every formula $\varphi(\overline x)$ of $\mathcal L$ and every pair of tuples $\overline \alpha$ and $\overline \beta$ in $H$, we have $\mathcal A\models\varphi (\overline \alpha)\leftrightarrow \varphi(\overline \beta)$.

Good sets of indiscernibles: Suppose $A\subseteq\kappa$, then $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 good set of indiscernibles for the model $\langle L_\kappa[A], A\rangle$ of size $\kappa$.

$M$-ultrafilters: Suppose $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$. Then $U\subseteq P(\kappa)^M$ is an $M$-ultrafilter if the model $\langle M,U\rangle\models U$ is a normal ultrafilter on $\kappa$. 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.

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

References

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