Dominating Projective Sets in the Baire Space

Abstract

We show that every analytic set in the Baire space which is dominating contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. We call this property of analytic sets u-regularity. However, we show that the concept of uniform tree does not suffice to… (More)
DOI: 10.1016/0168-0072(94)90025-6

1 Figure or Table