Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

2 Answers

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|improve this answer
    
(Thanks, Martin, for fixing the typo.) –  Andres Caicedo Sep 8 '12 at 15:54
add comment

So, what is the reference? I'm trying to write the bibliography for my dissertation and am desperately searching for the exact reference.

share|improve this answer
    
I believe you have enough reputation points now that you can leave your query as a comment addressed to whoever you'd like (I guess Andres in this case). You might also explain why the references he gave do not satisfy you. Also note that many people now reference MO in their bibliographies; I don't know if that's an option for you. –  Todd Trimble Mar 31 '13 at 13:23
1  
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. –  Andres Caicedo Mar 31 '13 at 15:25
add comment

Your Answer

 
discard

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.