Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6425967 | Advances in Mathematics | 2012 | 12 Pages |
Abstract
We show that the set of codes for Ramsey positive analytic sets is Σ21-complete. This is an analogue of a theorem of Hurewicz saying that the set of uncountable compact subsets of an uncountable Polish space is Σ11-complete. As a corollary, we get that the Ï-ideal of Ramsey null sets is not ZFC-correct, which answers a question of Ikegami, Pawlikowski and Zapletal.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Marcin Sabok,