Polarized partitions on the second level of the projective hierarchy (Q435206): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6054366 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polarized partition | |||
Property / zbMATH Keywords: polarized partition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective hierarchy | |||
Property / zbMATH Keywords: projective hierarchy / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
descriptive set theory | |||
Property / zbMATH Keywords: descriptive set theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
creature forcing | |||
Property / zbMATH Keywords: creature forcing / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Szymon Żeberski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2012.03.003 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1482639789 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Additivity of Measure Implies Additivity of Category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4844091 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Silver Measurability and its relation to other regularity properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solovay-type characterizations for forcing-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eventually different functions and inaccessible cardinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Souslin partitions of products of finite sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Borel partitions of products of finite sets and the Ackermann function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Glimm-Effros Dichotomy for Borel Equivalence Relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Σ½-sets of reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\Delta^ 1_ 2\)-sets of reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing absoluteness and regularity properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decisive creatures and large continuum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A General Setting for the Pointwise Investigation of Determinacy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The strength of measurability hypotheses / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity of Ramsey null sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ramsey theorems for product of finite sets with submeasures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Ramsey Spaces (AM-174) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory and definable forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5444715 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:33, 5 July 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