A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Polarized partitions on the second level of the projective hierarchy
2012
Annals of Pure and Applied Logic
Preserved Fulltext
A subset A of the Baire space ω ω satisfies the polarized partition property if there is an infinite It satisfies the bounded polarized partition property if, in addition, the H i are bounded by some pre-determined recursive function. Di Prisco and Todorčević (2003) [6] proved that both partition properties are true for analytic sets A. In this paper we investigate these properties on the 1 2 -and 1 2 -levels of the projective hierarchy, i.e., we investigate the strength of the statements "all
doi:10.1016/j.apal.2012.03.003
fatcat:j4wwvq6ek5gmjj77k2xzqtmaqe