A topological duality for dcpos
-
Liping Zhang
Abstract
In this paper, a Stone-type duality for directed complete posets with a top element is developed by using a class of special subsets, named prime Scott open subsets. Following this idea, a topological duality for complete lattices is also obtained.
-
(Communicated by L'ubica Holá)
References
[1] Abramsky, S.—Jung, A.: Domain theory. In: Handbook of Logic in Computer Science (S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, eds.), Oxford University Press, Oxford, 1994, pp. 1–168.Search in Google Scholar
[2] Celani, S. A.: Topological representation of distributive semilattices, Sci. Math. Jpn. 58 (2003), 55–65.Search in Google Scholar
[3] David, E.: Topological representation of posets, Algebra Universalis 30 (1993), 221–233.10.1007/BF01196093Search in Google Scholar
[4] Engelking, R.: General Topology, Polish Scientific Publishers, Warszawa, 1977.Search in Google Scholar
[5] González, L. J.—Jansana, R.: A topological duality for posets, Algebra Universalis 76 (2016), 455–478.10.1007/s00012-016-0389-9Search in Google Scholar
[6] Gierz, G.—Hofmann, K. H.—Keimel, K.—Lawson, J. D.—Mislove, M.—Scott, D. S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2003.10.1017/CBO9780511542725Search in Google Scholar
[7] Goubault-Larrecq, J.: Non-Hausdorff Topology and Domain Theory. New Mathematical Monographs, Cambridge University Press, Cambridge, 2013.10.1017/CBO9781139524438Search in Google Scholar
[8] Hartonas, C.—Dunn, J. M.: Stone duality for lattices, Algebra Universalis 37 (1997), 391–401.10.1007/s000120050024Search in Google Scholar
[9] Moshier, M. A.—Jipsen, P.: Topological duality and lattice expansions, I舁:舁A topological construction of canonical extensions, Algebra Universalis 71 (2014), 109–126.10.1007/s00012-014-0267-2Search in Google Scholar
[10] Moshier, M. A.—Jipsen, P.: Topological duality and lattice expansions, Ii: Lattice expansions with quasioperators, Algebra Universalis 71 (2014), 221–234.10.1007/s00012-014-0275-2Search in Google Scholar
[11] Johnstone, P. T.: Stone Space, Cambridge University Press, Cambridge, 1982.Search in Google Scholar
[12] Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces, Bull. Lond. Math. Soc. 2 (1970), 186–190.10.1112/blms/2.2.186Search in Google Scholar
[13] Stone, M. H.: The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), 37–111.10.1090/S0002-9947-1936-1501865-8Search in Google Scholar
[14] Stone, M. H.: Topological representations of distributive lattices and Brouwerian logics, J. Symb. Log. 3 (1938), 90–91.10.2307/2267630Search in Google Scholar
[15] Wu, H. R.: The Research on Spectral Duality Teory of Posets and Semigroups, Ph.D. thesis, Hunan University, 2019 (in Chinese).Search in Google Scholar
[16] Yang, J. B.—Xi, X. Y.: Which distributive lattices are lattices of open sets of P-spaces?, Order 38 (2021), 391–399.10.1007/s11083-020-09547-ySearch in Google Scholar
[17] Yuan, Z. Z.—Li, Q. G.: A topological duality for strong Boolean posets, Math. Slovaca 69 (2019), 497–506.10.1515/ms-2017-0242Search in Google Scholar
© 2023 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- RNDr. Stanislav Jakubec, DrSc. passed away
- Schur m-power convexity for general geometric Bonferroni mean of multiple parameters and comparison inequalities between several means
- Conditions forcing the existence of relative complements in lattices and posets
- Radically principal MV-algebras
- A topological duality for dcpos
- Padovan or Perrin numbers that are concatenations of two distinct base b repdigits
- Addendum to “A generalization of a result on the sum of element orders of a finite group”
- Remarks on w-distances and metric-preserving functions
- Solution of logarithmic coefficients conjectures for some classes of convex functions
- Multiple periodic solutions of nonautonomous second-order differential systems with (q, p)-Laplacian and partially periodic potentials
- Asymptotic stability of nonlinear neutral delay integro-differential equations
- On Catalan ideal convergent sequence spaces via fuzzy norm
- Fourier transform inversion: Bounded variation, polynomial growth, Henstock–Stieltjes integration
- (ε, A)-approximate numerical radius orthogonality and numerical radius derivative
- Wg-Drazin-star operator and its dual
- On the Lupaş q-transform of unbounded functions
- K-contact and (k, μ)-contact metric as a generalized η-Ricci soliton
- Compactness with ideals
- Number of cells containing a given number of particles in a generalized allocation scheme
- A new generalization of Nadarajah-Haghighi distribution with application to cancer and COVID-19 deaths data
- Compressive sensing using extropy measures of ranked set sampling
- A note on star partial order preservers on the set of all variance-covariance matrices
Articles in the same Issue
- RNDr. Stanislav Jakubec, DrSc. passed away
- Schur m-power convexity for general geometric Bonferroni mean of multiple parameters and comparison inequalities between several means
- Conditions forcing the existence of relative complements in lattices and posets
- Radically principal MV-algebras
- A topological duality for dcpos
- Padovan or Perrin numbers that are concatenations of two distinct base b repdigits
- Addendum to “A generalization of a result on the sum of element orders of a finite group”
- Remarks on w-distances and metric-preserving functions
- Solution of logarithmic coefficients conjectures for some classes of convex functions
- Multiple periodic solutions of nonautonomous second-order differential systems with (q, p)-Laplacian and partially periodic potentials
- Asymptotic stability of nonlinear neutral delay integro-differential equations
- On Catalan ideal convergent sequence spaces via fuzzy norm
- Fourier transform inversion: Bounded variation, polynomial growth, Henstock–Stieltjes integration
- (ε, A)-approximate numerical radius orthogonality and numerical radius derivative
- Wg-Drazin-star operator and its dual
- On the Lupaş q-transform of unbounded functions
- K-contact and (k, μ)-contact metric as a generalized η-Ricci soliton
- Compactness with ideals
- Number of cells containing a given number of particles in a generalized allocation scheme
- A new generalization of Nadarajah-Haghighi distribution with application to cancer and COVID-19 deaths data
- Compressive sensing using extropy measures of ranked set sampling
- A note on star partial order preservers on the set of all variance-covariance matrices
