Separation of analytic sets by rectangles of low complexity.
Résumé
We provide Hurewicz tests for the separation of disjoint analytic sets by rectangles of the form $\Gamma\times\Gamma'$ for $\Gamma,\Gamma'\in {\mathbf\Sigma^0_1 , \mathbf\Pi^0_1 , \mathbf\Pi^0_2 }$.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...