BASES AND BOREL SELECTORS FOR TALL FAMILIES
AbstractGiven a family${\cal C}$of infinite subsets of${\Bbb N}$, we study when there is a Borel function$S:2^{\Bbb N} \to 2^{\Bbb N} $such that for every infinite$x \in 2^{\Bbb N} $,$S\left( x \right) \in {\Cal C}$and$S\left( x \right) \subseteq x$. We show that the family of homogeneous sets (with respect to a partition of a front) as given by the Nash-Williams’ theorem admits such a Borel selector. However, we also show that the analogous result for Galvin’s lemma is not true by proving that there is an$F_\sigma $tall ideal on${\Bbb N}$without a Borel selector. The proof is not constructive since it is based on complexity considerations. We construct a${\bf{\Pi }}_2^1 $tall ideal on${\Bbb N}$without a tall closed subset.
1998 ◽
Vol 128
(2)
◽
pp. 193-217
◽
2016 ◽
Vol 37
(6)
◽
pp. 1997-2016
◽
Keyword(s):
1972 ◽
Vol 72
(2)
◽
pp. 209-212
◽
Keyword(s):
1974 ◽
Vol 26
(6)
◽
pp. 1351-1355
◽
Keyword(s):
1961 ◽
Vol 13
◽
pp. 505-518
◽
Keyword(s):
2018 ◽
Vol 166
(3)
◽
pp. 523-542
◽
Keyword(s):
2007 ◽
Vol 49
(2)
◽
pp. 333-344
◽
Keyword(s):
2014 ◽
Vol 35
(7)
◽
pp. 2171-2197
◽
Keyword(s):