Complexity of Ramsey null sets (Q436231): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1003.5983 / rank | |||
Normal rank |
Revision as of 14:40, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexity of Ramsey null sets |
scientific article |
Statements
Complexity of Ramsey null sets (English)
0 references
20 July 2012
0 references
Ramsey measurability was introduced by Galvin and Prikry on Borel sets and later generalized by Silver to analytic sets. Ramsey measurable sets are precisely the Baire measurable sets with respect to the Ellentuck topology on \([\omega]^\omega\). In this paper, the author proves two results regarding Ramsey measurable sets. The \(\sigma\)-ideal of countable sets is known to be \({\Pi}^1_1\) on \({\Sigma}^1_1\), i.e., for any Polish space \(Y\) and any \({\Sigma}^1_1\)-set \(A\subseteq Y\times X\) (or a good universal \({\Sigma}^1_1\)-set), \(\{y\in Y: A_y \in {\mathcal A}\}\), the set of codes for \({\Sigma}^1_1\)-sets in \({\mathcal A}\), is in \({\Pi}^1_1\). Moreover, the set of codes for analytic countable sets is \({\Pi}^1_1\)-complete. By a theorem of Hurewicz, for any uncountable Polish space \(X\) the set of countable compact subsets of \(X\) is \({\Pi}^1_1\)-complete in \(K(X)\). As an analogue of Hurewicz's theorem, the author proves that ({Theorem 1}) the set of codes for Ramsey positive \({\Sigma}^1_1\) (or \({G}_\delta\)) sets is \({\Sigma}^1_2\)-complete. Very few natural examples are known for \({\Pi}^1_2\)-completeness, but there are plenty for \({\Pi}^1_1\)-completeness. The proof of Theorem 1 consists of two steps: one is to show that the set of codes for Ramsey positive sets is \(({\Sigma^1_2}, {\Sigma^1_1}\cup{\Pi^1_1})\)-complete, i.e., any \({\Sigma^1_2}\)-set can be reduced to it via a \(({\Sigma^1_1}\cup{\Pi^1_1})\)-submeasurable reduction; and the second step follows from an abstract result ({Theorem 2}): Any \(({\Sigma^1_2}, {\Sigma^1_1}\cup{\Pi^1_1})\)-complete subset of a Polish zero-dimensional space is \({\Sigma^1_2}\)-complete. This paper includes an application of Theorem 1 in the theory of forcing. Zapletal recently developed a general theory of iteration for idealized forcing, and Ikegami developed a general framework for generic absoluteness and transcendence principles for strongly arboreal forcing notions. A key condition in this theory is that the \(\sigma\)-ideal under consideration is ZFC-correct. With respect to the question of Ikegami (and, independently) Pawlikowski and Zapletal, whether these theories can be applied to Mathias forcing (the forcing associated with the \(\sigma\)-ideal of Ramsey null sets), the author gives a negative answer by showing that, as a corollary of Theorem 1 ({Corollary 3}), the \(\sigma\)-ideal of Ramsey null sets is not ZFC-correct.
0 references
Ramsey null sets
0 references
\(\Sigma^1_2\)-complete sets
0 references
Ramsey measurable sets
0 references
Polish space
0 references
Mathias forcing
0 references
\(\sigma\)-ideal
0 references
ZFC-correct
0 references