BSC4024107 Project Details

SupervisorHo Weng Kin
Project CodeBSC4024107
Title of ProjectLattices of Scott-closed Sets
DescriptionThe aim of this project is to study the lattice structure of Scott-closed sets ordered by inclusion as well as related research topics.
Pre-requisites• Set theory
References[1] Ho, W. K., Goubault-Larrecq, J., Jung, A., and Xi, X. (2018). The Ho-Zhao Problem,
Logical Methods in Computer Science, 598 (1), pp. 1-19.
[2] Ho, W. K., and Zhao, D. S. (2009). Lattices of Scott-closed sets, Comment. Math. Univ. Carolin., 50, pp. 297-314.
[3] Zhao, D. S., and Fan, T. H. (2010). Dcpo-completion of posets, Theoretical Computer Science, 411, pp. 2167-2173.