Hostname: page-component-84b7d79bbc-lrf7s Total loading time: 0 Render date: 2024-07-25T19:50:39.820Z Has data issue: false hasContentIssue false
  • English
  • Français

Essential and density topologies on s2-continuous posets

Published online by Cambridge University Press:  30 October 2017

CHONGXIA LU  and
QINGGUO LI
CHONGXIA LU
Affiliation:
College of Mathematics and Econometrics, Hunan University, Changsha, P.R. China Emails: lcx19882016@aliyun.com, liqingguoli@aliyun.com
QINGGUO LI
Affiliation:
College of Mathematics and Econometrics, Hunan University, Changsha, P.R. China Emails: lcx19882016@aliyun.com, liqingguoli@aliyun.com
Get access Rights & Permissions [Opens in a new window]

Abstract

Recently, Rusu and Ciobanu established that for a continuous domain L, a subset B of L is a basis if and only if B is dense with respect to the d-topology, called the density topology, on L. In situations where directed completeness fails, Erné has proposed in 1991 an alternative definition of continuity called s2-continuity which remedied the lack of stability of continuity under the classical Dedekind–MacNeille completion. In this paper, we show how the ‘Rusu–Ciobanu’ type of characterization can be formulated and established over the class of s2-continuous posets with appropriate modifications. Although we obtain more properties of essential topologies and density topologies on s2-continuous posets, respectively.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 28 , Issue 10 , November 2018 , pp. 1770 - 1785
Copyright
Copyright © Cambridge University Press 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abramsky, S. and Jung, A. (1994). Domain theory. In: Abramsky, S., Gabbay, D.M., and Maibaum, T. S. E. (eds.) Semantic Structures, Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford, 1–168.Google Scholar
Banaschewski, B. (1977). Essential extensions of T 0-spaces. General Topology and its Applications 7 (3) 233–246.Google Scholar
Davey, B.A. and Priestley, H.A. (2002). Introduction to Lattices and Order, 2nd ed., Cambridge University Press, Cambridge.Google Scholar
Engelking, R. (1977). General Topology, Polish Scientific Publishers, Warszawa.Google Scholar
Erné, M. (1991). The ABC of order and topology. In: Herlich, H. and Porst, H.-E. (eds.) Category Theory at Work, Heldermann Verlag, Berlin, 57–83.Google Scholar
Erné, M. (1991). The Dedekind-MacNeille completion as a reflector. Order 8 (2) 159–173.Google Scholar
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M. and Scott, D.S. (2003). Continuous Lattices and Domains, Encyclopedia of Mathematics and Its Applications, vol. 93, Cambridge University Press, Cambridge.Google Scholar
Goubault-Larrecq, J. (2013). Non-Hausdorff Topology and Domain Theory, New Mathematical Monographs, vol. 22, Cambridge University Press, Cambridge.Google Scholar
Hoffmann, R.-E. (1981). Continuous posets, prime spectra of completely distrbutive lattices and Hausdorff compactifications. In: Banaschewski, B. and Hoffmann, R.-E. (eds.) Continuous Lattices, Lecture Notes in Mathematics, vol. 871, Springer-Verlag, Berlin, 159–208.Google Scholar
Rusu, D. and Ciobanu, G. (2016). Essential and density topologies of continuous domains. Annals of Pure and Applied Logic 167 (9) 726–736.Google Scholar
Zhang, W.F. and Xu, X.Q. (2015). s 2-quasicontinuous posets. Theoretical Computer Science 574 78–85.Google Scholar