Polarized partitions on the second level of the projective hierarchy

DOI10.1016/J.APAL.2012.03.003MaRDI QIDQ435206zbMATH OpenOpenAlexFDO

Authors Jörg Brendle, Yurii Khomskii

Publication date 11 July 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2012.03.003

zbMATH Keywords

creature forcingdescriptive set theorypolarized partitionprojective hierarchy

Mathematics Subject Classification ID

Partition relations (03E02) Descriptive set theory (03E15) Consistency and independence results (03E35)

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. NEWLINENEWLINENEWLINE The question for analytic subsets has a positive answer (by a theorem of Di Prisco and Todorcevic). NEWLINENEWLINENEWLINE 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])\). NEWLINENEWLINENEWLINE 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.

Recommendations

• Homogeneity for Open Partitions of Pairs of Reals
• \(\Delta^ 1_ 2\)-sets of reals
• scientific article; zbMATH DE number 761286
• Souslin partitions of products of finite sets
• Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals

Cites work

• \(\Delta^ 1_ 2\)-sets of reals
• A General Setting for the Pointwise Investigation of Determinacy
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• Additivity of Measure Implies Additivity of Category
• Borel partitions of products of finite sets and the Ackermann function
• Complexity of Ramsey null sets
• Decisive creatures and large continuum
• Descriptive set theory and definable forcing
• Eventually different functions and inaccessible cardinals
• Forcing absoluteness and regularity properties
• Forcing idealized
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• Introduction to Ramsey space
• Ramsey theorems for product of finite sets with submeasures
• Silver Measurability and its relation to other regularity properties
• Solovay-type characterizations for forcing-algebras
• Souslin partitions of products of finite sets
• The strength of measurability hypotheses
• Σ½-sets of reals

Cited in

(7)

• Souslin partitions of products of finite sets
• Filter-Laver measurability
• Homogeneity for Open Partitions of Pairs of Reals
• Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
• Some results on polarized partion relations of higher dimension
• Complexity of Ramsey null sets
• Uniformization and internal absoluteness

This page was built for publication: Polarized partitions on the second level of the projective hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435206)