2000 character limit reached
Separation of analytic sets by rectangles of low complexity (1406.4023v1)
Published 16 Jun 2014 in math.GN and math.LO
Abstract: We provide Hurewicz tests for the separation of disjoint analytic sets by rectangles of the form $\Gamma\times\Gamma'$ for $\Gamma,\Gamma'\in {\mathbf\Sigma0_1 , \mathbf\Pi0_1 , \mathbf\Pi0_2 }$.