Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Manlio's user avatar
  • 342