No CrossRef data available.
Article contents
Essential and density topologies on s2-continuous posets
Published online by Cambridge University Press: 30 October 2017
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
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.
Information
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 28 , Issue 10 , November 2018 , pp. 1770 - 1785
- Copyright
- Copyright © Cambridge University Press 2017
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
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
You have
Access