Polarized partitions on the second level of the projective hierarchy (Q435206): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q535155 |
||
Property / reviewed by | |||
Property / reviewed by: Szymon Żeberski / rank | |||
Revision as of 23:40, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polarized partitions on the second level of the projective hierarchy |
scientific article |
Statements
Polarized partitions on the second level of the projective hierarchy (English)
0 references
11 July 2012
0 references
The authors study the question if for any set \(A\subseteq\omega^\omega\) from the projective class \(\Gamma\) one can find a sequence \((H_i)_{i\in\omega}\), where \(|H_i|\geq 2\), such that the set \(\prod_i H_i\) is included in \(A\) or disjoint with \(A\). If the answer is positive we say that sets from \(\Gamma\) have the polarized partition property. If in addition the \(H_i\) are bounded by some pre-defined recursive function we say that sets from \(\Gamma\) have the bounded polarized partition property. The question for analytic subsets has a positive answer (by a theorem of Di Prisco and Todorcevic). In the paper the authors study the cases \(\Gamma=\Sigma^1_2\) and \(\Gamma=\Delta^1_2.\) They compare the (bounded) polarized partition property for \(\Gamma\) with other regularity properties, for instance \(\forall a \exists x (x\) is eventually different over \(L[a])\). The authors examine the (bounded) polarized partition property for \(\Gamma\) in several standard models (Cohen model, Mathias model, \dots). They define a fat creature forcing which forces the bounded polarized property for \(\Sigma^1_2\) and does not add unbounded and splitting reals.
0 references
polarized partition
0 references
projective hierarchy
0 references
descriptive set theory
0 references
creature forcing
0 references