Pith. sign in

REVIEW 3 cited by

Notes on quasi-Polish spaces

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1809.07440 v2 pith:SW3I3U7B submitted 2018-09-20 math.LO math.GN

Ruiyuan Chen This is my paper · ORCID
classification math.LOmath.GN
keywords spacesquasi-polishbairebasicbrechtcategorycharacterizationcountable
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

Quasi-Polish spaces were introduced by de Brecht as a possibly non-Hausdorff generalization of Polish spaces sharing many of their descriptive set-theoretic properties. We give a self-contained exposition of the basic theory of quasi-Polish spaces, based on their "logical" characterization as $\mathbf{\Pi}^0_2$ subspaces of countable powers of Sierpinski space, with several new proofs emphasizing this point of view as well as making more extensive use of Baire category techniques.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A universal characterization of standard Borel spaces

    math.LO 2019-08 accept novelty 8.0 of 10

    The category of standard Borel spaces is the initial countably complete Boolean countably extensive category, meaning it is freely generated by countable products, disjoint unions, and complementation.

  2. Representing Polish groupoids via metric structures

    math.LO 2019-08 accept novelty 8.0 of 10

    Every open sigma-locally Polish groupoid is Borel equivalent to the isomorphism groupoid of models of a metric L_omega1omega-sentence on the Urysohn sphere, with a discrete N version for non-Archimedean quasi-Polish g...

  3. Componentwise Polish groupoids and equivalence relations

    math.LO 2025-07 conditional novelty 7.0 of 10

    Every Borel-overt fiberwise quasi-Polish groupoid is Borel equivalent to an open Polish groupoid, hence to an action groupoid of a Polish group action; Borel-overt classwise Polish equivalence relations are Borel bire...

Pith tools