Priestley Spaces, Quasi–hyperalgebraic Lattices and Smyth Powerdomains

1. Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc., 2, 186–190 (1970)

   MATH  MathSciNet  Google Scholar 

2. Venugopalan, P.: Priestley spaces. Proceedings of the American Mathematics Society, 109(3), 605–610 (1990)

   Article  MATH  MathSciNet  Google Scholar 

3. Flagg, B.: Algebraic theories of compact pospaces. Topology and Its Applications, 77, 277–290 (1997)

   Article  MATH  MathSciNet  Google Scholar 

4. Lawson, J. D.: The upper interval topology, Property M, and compactness, Electronic Notes in Theoretical Computer Science, 1998

5. Xu, X. Q., Liu, Y. M.: The Scott topology and Lawson topology on a Z–quasicontinuous domain (in Chinese). Chin. Ann. of Math., 24A(3), 365–376 (2003)

   Google Scholar 

6. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D.: Continuous lattices and domains, Cambridge University Press, 2003

7. Heckmann, R.: Power Domain Constructions, PhD thesis, University des Saarlandes, 1990

8. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D.: A compendium of continuous lattices, Springer–Verlag, Berlin, 1980

9. Xu, X. Q., Liu, Y. M.: Regular relations and strictly completely regular ordered spaces. Topology and Its Applications, 135, 1–12 (2004)

   Article  MATH  MathSciNet  Google Scholar 

10. Keimel, K., Paseka, J.: A direct proof of Hofmann–Mislove theorem. Proceedings of the American Mathematics Society, 120, 301–303 (1994)

    Article  MATH  MathSciNet  Google Scholar 

11. Smyth, M.: Power domains. Journal of Computer and System Sciences, 16, 23–36 (1978)

    Article  MATH  MathSciNet  Google Scholar 

12. Gierz, G., Lawson, J. D.: Generalized continuous and hypercontinuous lattices. Rocky Mountain J. Math., 11, 271–296 (1981)

    Article  MATH  MathSciNet  Google Scholar 

13. Heckmann, R.: An upper power domain construction in terms of strongly compact sets, Lecture Notes in Computer Science, Springer–Verlag, New York, 598, 272–293, 1992

14. Xu, X. Q., Luo, M. K., Huang, Y.: Quasi Z–continuous domains and Z–meet continuous domains. Acta Mathematica Sinica, Chinese Series, 48A(2), 221–234 (2005)

    Google Scholar 

Download references