Theory and applications of Stone-duality for quasi-Polish spaces

点击翻译按钮获取中文摘要

Our main results this year were applications of the general theory that we developed during this project.At CCA 2022, we presented some preliminary results about coPolish rings (topological rings whose topology is coPolish), the main result being the construction of a contravariant functor from the category of coPolish rings and continuous ring homomorphisms to the category of quasi-Polish spaces that agrees with the standard construction of the spectrum of a ring for (countable) discrete rings, but results in spaces that are more manageable for computability and foundational applications when the ring is non-discrete.At CTS 2022, we presented an effective version of the classical descriptive set theory result that adding countably many closed sets to the topology of a quasi-Polish space results in a quasi-Polish space. Our construction takes a c.e. transitive relation encoding a quasi-Polish space and an enumeration of co-c.e. closed subsets of the space and outputs a c.e. transitive relation encoding the quasi-Polish space with the refined topology. Although the classical result is well-known for (quasi-) Polish spaces, to our knowledge this is the first effective proof.At CiE 2022, we presented joint work with T.Kihara and V.Selivanov that gives a detailed analysis of the enumerability of various classes of effective quasi-Polish spaces, which supersedes known results on enumerating certain classes of domains. We also showed that the subclasses of effective quasi-Polish spaces corresponding to the T1,T2, and T3 separation axioms are each (lightface) coanalytic complete.