$\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces
Keywords:
$\Pi^0_2$ subset, countably correlated space, domain-complete spaceAbstract
We show that every $\Pi^0_2$ subset of a domain-complete space is domain-complete. This implies that Ruiyuan Chen's countably correlated spaces are all domain-complete (see Notes on quasi-Polish spaces. Available at arXiv:1809.07440v1 [math.LO]).
References
Samson Abramsky and Achim Jung, Domain theory in Handbook of Logic in Computer Science, Vol. 3. Ed. S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum. New York: Oxford Univ. Press, 1994. 1-168.
Ruiyuan Chen, Notes on quasi-Polish spaces. Available at arXiv:1809.07440v1 [math.LO].
Matthew de Brecht, Quasi-Polish spaces, Ann. Pure Appl. Logic 164 (2013), no. 3, 356-381.
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, and Zhenchao Lyu, Domain-complete and LCS-complete spaces (8th International Symposium on Domain Theory and Its Applications, ISDT 2019), Electronic Notes in Theoretical Computer Science, 345 (2019), 3-35.
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, 93. Cambridge: Cambridge University Press, 2003.
Jean Goubault-Larrecq, Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology. New Mathematical Monographs, 22. Cambridge: Cambridge University Press, 2013.
Klaus Keimel and Jimmie D. Lawson, D-completions and the d-topology, Ann. Pure Appl. Logic 159 (2009), no. 3, 292-306.
Klaus Keimel and Gordon D. Plotkin, Mixed powerdomains for probability and nondeterminism, Log. Methods Comput. Sci. 13 (2017), no. 1, Paper no. 2.
Victor L. Selivanov, Towards a descriptive set theory for domain-like structures, Theoret. Comput. Sci. 365 (2006), no. 3, 258-282.
