Author Archives: Assaf Rinot

Variations on diamond

Jensen’s diamond principle has many equivalent forms. The translation between these forms is often straight-forward, but there is one form whose equivalence to the usual form is somewhat surprising, and Devlin’s translation from one to the other, seems a little … Continue reading

Posted in Blog, Expository | Tagged | Leave a comment

The P-Ideal Dichotomy and the Souslin Hypothesis

John Krueger is visiting Toronto these days, and in a conversation today, we asked ourselves how do one prove the Abraham-Todorcevic theorem that PID implies SH. Namely, that the next statement implies that there are no Souslin trees: Definition. The … Continue reading

Posted in Blog, Expository | Tagged , | Leave a comment

Infinite Combinatorics Seminar, Haifa University, June, 2012

I gave a talk at the University of Haifa on June 07, 2012, intended for general audience. Title: Strong Colorings: the study of the failure of generalized Ramsey statements Abstract: A strong coloring from $X$ to $Y$ is a function … Continue reading

Posted in Contributed Talks | Leave a comment

Afghan Whigs on Jimmy Fallon

Performing “I’m Her Slave” (from their album Congregation) at NBC’s studios, 22-May-2012:

Posted in Blog, OffMath | Tagged | 1 Comment

The chromatic numbers of the Erdos-Hajnal graphs

Recall that a coloring $c:G\rightarrow\kappa$ of an (undirected) graph $(G,E)$ is said to be chromatic if $c(v_1)\neq c(v_2)$ whenever $\{v_1,v_2\}\in E$. Then, the chromatic number of a graph $(G,E)$ is the least cardinal $\kappa$ for which there exists a chromatic … Continue reading

Posted in Blog, Expository | Tagged , , , | 14 Comments

Shelah’s approachability ideal (part 1)

Given an infinite cardinal $\lambda$, Shelah defines an ideal $I[\lambda]$ as follows. Definition (Shelah, implicit in here). A set $S$ is in $I[\lambda]$ iff $S\subseteq\lambda$ and there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$, and some club $E\subseteq\lambda$, so … Continue reading

Posted in Blog, Expository | Tagged , | 3 Comments

Review: Is classical set theory compatible with quantum experiments?

Yesterday, I attended a talk at the Quantum Foundations seminar at the beautiful Perimeter Institute for Theoretical Physics (Waterloo, Ontario). The (somewhat provocative) title of the talk was “Is Classical Set Theory Compatible with Quantum Experiments?”, and the speaker was Radu … Continue reading

Posted in Blog, Reviews | Tagged , | 7 Comments

Rectangular square-bracket operation for successor of regular cardinals

Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading

Posted in Partition Relations, Publications | Tagged , , , , | 2 Comments

Comparing rectangles with squares through rainbow sets

In Todorcevic’s class last week, he proved all the results of Chapter 8 from his Walks on Ordinals book, up to (and including) Theorem 8.1.11. The upshots are as follows: Every regular infinite cardinal $\theta$ admits a naturally defined function … Continue reading

Posted in Blog | Tagged , | 3 Comments

ASL North American Meeting, March 2012

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 … Continue reading

Posted in Invited Talks | 2 Comments