English

Separation of analytic sets by rectangles of low complexity

General Topology 2014-11-12 v1 Logic

Abstract

We provide Hurewicz tests for the separation of disjoint analytic sets by rectangles of the form Γ×Γ\Gamma\times\Gamma' for Γ,ΓΣ10,Π10,Π20\Gamma,\Gamma'\in {\mathbf\Sigma^0_1 , \mathbf\Pi^0_1 , \mathbf\Pi^0_2 }.

Cite

@article{arxiv.1406.4023,
  title  = {Separation of analytic sets by rectangles of low complexity},
  author = {Rafael Zamora},
  journal= {arXiv preprint arXiv:1406.4023},
  year   = {2014}
}
R2 v1 2026-06-22T04:39:19.307Z