MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For my research I've been trying to locate Solovay's proof that AD+ implies that all sets are Ramsey (or completely Ramsey, depending on the terminology). I know that it uses Mathias forcing but I can't locate the paper. Does anyone know where I could find it or another paper that reproduces his proof using that technique?

share|cite|improve this question

About all you need is in Adrian's paper "Happy families". It is not spelled out as following from ${\sf AD}^+$, of course, since the concept did not exist yet.

Anyway, if you are familiar with Solovay's arguments in his paper on all sets of reals being measurable (or as discussed in the Feng-Magidor-Woodin paper on universally Baire sets), then all you want to read is section 2 (up to 2.2.3) of my paper with Richard Ketchersid, "A trichotomy theorem in natural models of ${\sf AD}^+$", in Set Theory and Its Applications, Contemporary Mathematics, vol. 533, Amer. Math. Soc., Providence, RI, 2011, pp. 227-258, MR2777751, and also available at my papers page.

Very briefly, what we use of ${\sf AD}^+$ is little more than all sets of reals having $\infty$-Borel codes. If $S$ is an $\infty$-Borel code for a set of reals $A$, then $L[S]$ is a model of choice, so (from determinacy), its reals are countable and in fact $\omega_1^V$ is inaccessible in $L[S]$. One can now run the argument that sets of reals are Ramsey in the Solovay model, noting that there are (in $V$) generics over $L[S]$ for Mathias's forcing, and the proof is concluded from the defining property of $\infty$-Borel sets.

Since the proof uses the $\infty$-Borel machinery so explicitly, it is still open whether ${\sf AD}$ suffices for this result.

share|cite|improve this answer
(Thanks, Martin, for fixing the typo.) – Andrés E. Caicedo Sep 8 '12 at 15:54
So, what is the reference? I'm trying to write the bibliography for my dissertation and am desperately searching for the exact reference. – Daniel Walker Mar 31 '13 at 11:25
OK, maybe I was not explicit enough: There is no Solovay paper with the result you ask for. The references I gave and the accompanying sketch are as explicit as it gets in the published literature. – Andrés E. Caicedo Mar 31 '13 at 15:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.