Article ID Journal Published Year Pages File Type
6425967 Advances in Mathematics 2012 12 Pages PDF
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.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Mathematics (General)
Authors
,