All Questions
1 question
5
votes
0
answers
158
views
The set of homogeneous solutions of a clopen contains an hyperarithmetical set
In the context of Galvin-Prikry generalization of Ramsey's theorem, I read in a couple of papers ([1],[2]) that Solovay [3] proved that if $P$ is a clopen of $[\mathbb{N}]^{\mathbb{N}}$ then the set ...