Abstract
A model of a \(T_1\) topological space X is a poset P such that the set of maximal points of P with the relative Scott topology is homeomorphic to X. In this paper, we prove that (i) a \(T_1\) space is Baire if and only if it has a dcpo model whose Scott space is Baire; (ii) a \(T_1\) space is Choquet complete iff it has a dcpo model whose Scott space is Choquet complete; (iii) a \(T_1\) space has a quasicontinuous dcpo model iff it has a continuous dcpo model.
Similar content being viewed by others
References
Bennett, H.R., Lutzer, D.J.: Domain representable spaces. Fund. Math. 189, 255–268 (2006)
Bennett, H.R., Lutzer, D.J., Reed, G.M.: Domain representability and the Choquet game in Moore and BCO-spaces. Topol. Appl. 155, 445–458 (2008)
Edalat, A., Heckmann, R.: A computational model for metric spaces. Theor. Comput. Sci. 193, 53–73 (1998)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains, vol. 93. Cambridge University Press, Cambridge (2003)
Goubault-Larrecq, J.: Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology, vol. 22. Cambridge University Press, Cambridge (2013)
Heckmann, R., Keimel, K.: Quasicontinuous domains and the Smyth powerdomain. Electron. Notes Theor. Comput. Sci. 298, 215–232 (2013)
Lawson, J.D.: Spaces of maximal points. Math. Struct. Comput. Sci. 7, 543–555 (1997)
Lawson, J.D.: Research problems list related to domain theory, (Preprint) (2018)
Martin, K.: Domain theoretic models of topological spaces. Electron. Notes Theor. Comp. Sci. 13, 173–181 (1998)
Martin, K.: Topological games in domain theory. Topol. Appl. 129, 177–186 (2003)
Xi, X., Zhao, D.: Maximal point spaces of dcpos satisfying the Lawson condition. Topol. Appl. 230, 417–424 (2017)
Xi, X., Zhao, D.: Well-filtered spaces and their dcpo models. Math. Struct. Comput. Sci. 27, 507–515 (2017)
Zhao, D., Xi, X.: Dcpo models of \(T_1\) topological spaces. Math. Proc. Camb. Philos. Soc. 164, 125–134 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
He, Q., Xi, X. & Zhao, D. Dcpo Models of Choquet Complete and Baire Spaces. Results Math 74, 87 (2019). https://doi.org/10.1007/s00025-019-1011-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-019-1011-1