2012 North American Annual Meeting of the ASL

I gave a special session talk at the ASL 2012 North American Annual Meeting (Madison, March 31–April 3, 2012).

Talk Title: The extent of the failure of Ramsey’s theorem at successor cardinals.

Extended abstract: Ramsey’s theorem asserts that for every coloring $c:[\omega]^2\rightarrow2$, there exists an infinite subset $H\subseteq\omega$ such that $c\restriction [H]^2$ is constant. At the early 1930’s, Sierpinski showed that a generalization of Ramsey’s theorem must fail for successor cardinals, and ever since the extent of this failure was studied extensively by many set-theorists, including, Erdos, Eisworth, Hajnal, Moore, Shelah, and Todorcevic.

In this talk, we shall show that Shelah’s notion of strong coloring $\text{Pr}_0(\lambda^+,\lambda^+,\lambda^+,\omega)$ coincides with the most basic concept considered already by Erdos and his collaborators: $\lambda^+\not\rightarrow[\lambda^+]^2_{\lambda^+}$. More specifically, we shall discuss the following ZFC result.
Theorem. The following are equivalent for every uncountable cardinal $\lambda$:
(1) There exists a coloring $c:[\lambda^+]^2\rightarrow\lambda^+$ such that for every
(-) color $\gamma<\lambda^+$, and every
(-) subset $A\subseteq\lambda^+$ of size $\lambda^+$,
there exist $\alpha,\beta\in A$  with $\alpha<\beta$ such that $$c(\alpha,\beta)=\gamma.$$
(2) There exists a coloring $c:[\lambda^+]^2\rightarrow\lambda^+$ such that for every
(-) coloring $g:n\times n\rightarrow\lambda^+$ (here $n$ is a positive integer), and every
(-) family $\mathcal A\subseteq[\lambda^+]^n$ of size of $\lambda^+$ of mutually disjoint sets,
there exist $a,b\in\mathcal A$ with $\max(a)<\min(b)$ such that $$c(a_i,b_j)=g(i,j)\text{ for all }i,j<n.$$

(here, $a_i$ denotes the $i_{th}$-element of $a$, and $b_j$ denotes the $j_{th}$-element of $b$.)


This entry was posted in Invited Talks. Bookmark the permalink.

2 Responses to 2012 North American Annual Meeting of the ASL

  1. ((I really want to come too!) (If it’s not too expensive.) (I missed your Toronto talk, so I guess I’d better come.))


  2. saf says:

    On my way back from Madison to Toronto, I saw a lady with a mac that has a brilliant sticker attached to it. I didn’t take a picture of her mac, but, fortunately, could find a similar piece on the web:

    Of course, this sticker is a reference to Magritte’s 1964 painting The Son of Man. Isn’t that beautiful?

    I myself have also created a few tributes to Magritte’s paintings, and it might be a good idea to design some more..


Leave a Reply

Your email address will not be published. Required fields are marked *