Abstract
In this paper, the concept of Frink quasicontinuous posets is introduced. The main results are: (1) a poset is a Frink quasicontinuous poset if and only if its normal completion is a quasicontinuous lattice; (2) a poset is precontinuous if and only if it is Frink quasicontinuous and meet precontinuous; (3) when a Frink quasicontinuous poset satisfies certain conditions, the way below relation has the interpolation property; (4) the category of quasicontinuous lattices with complete homomorphisms is a full reflective subcategory of the category of Frink quasicontinuous posets with cut-stable maps.
Similar content being viewed by others
References
Banaschwski, P., Ebrahimi, M.M., Mahmoudi, M.: On the normal completion of a Boolean algebra. J. Pure Appl. Algebra 181, 1–14 (2003)
Crawley, P., Dilworth, R.P.: Algebraic Theory of Lattices. Prentice-Hall Inc, Englewood Cliffs (1973)
Dedekind, R.: Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig (1872)
Erné, M.: A completion-invariant extension of the concept of continuous lattices. In: Banaschewski, B., Hoffmann, R.-E. (eds.) Continuous Lattices, Proceedings, Bremen 1979. Lecture Notes in Mathematics 871, pp. 43–60. Springer, Berlin (1981)
Erné, M.: The Dedekind-MacNeille completion as a reflector. Order 8(2), 159–173 (1991)
Erné, M.: Bigeneration and principal separation in partially ordered sets. Order 8, 197–221 (1991)
Erné, M.: Distributive laws for concept lattices. Algebra Universalis 30, 538–580 (1993)
Frink, O.: Ideals in partially ordered sets. Am. Math. Mon. 61, 223–234 (1954)
Gierz, G., Hofmann, K., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)
Gierz, G., Lawson, J.D.: Generalized continuous and hypercontinuous lattices. Rocky Mt. J. Math. 11, 271–296 (1981)
Gierz, G., Lawson, J.D., Stralka, A.: Quasicontinuous posets. Houst. J. Math. 9, 191–208 (1983)
Herrlich, H., Strecker, G.: Category Theory. Heldermann Verlag, Berlin (1979)
Heckmann, R., Keimel, K.: Quasicontinuous domains and the Smyth powerdomain. Electron. Notes Theor Comput. Sci. 298, 215–232 (2013)
Harding, J., Bezhanishvili, G.: MacNeille completions of heyting algebras. Houst. J. Math. 30, 937–952 (2004)
Lawson, J.D.: The upper interval topology, property \(M\) and compactness. Electron. Notes Theor. Comp. Sci. 13, 1–15 (1998)
Menon, V.G.: Separating points in posets. Houst. J. Math. 21, 283–290 (1995)
MacNeille, H.M.: Partially ordered sets. Trans. Am. Math. Soc. 42, 416–460 (1937)
Mislove, M.: Topology, domain theory and theoretical computer science. Topol. Appl. 89, 3–59 (1998)
Niederle, J.: Boolean and distributive ordered sets: characterization and representation by sets. Order 12, 189–210 (1995)
Niederle, J.: On infinitely distributive ordered sets. Math. Slov. 55, 495–502 (2005)
Venugopalan, P.: Quasicontinuous posets. Semigroup Forum 41, 193–200 (1990)
Acknowledgments
Supported by the National Natural Science Foundation of China (Nos. 10861007, 11161023), the Foundation for the Author of National Excellent Doctoral Dissertation of China (No. 2007B14), the Ganpo 555 programma for leading talents of Jiangxi Province, the NFS of Jiangxi Province (No. 20114BAB201008), the Fund of Education Department of Jiangxi Province (No. GJJ12657).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Mislove.
Rights and permissions
About this article
Cite this article
Zhang, W., Xu, X. Frink quasicontinuous posets. Semigroup Forum 94, 6–16 (2017). https://doi.org/10.1007/s00233-015-9745-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-015-9745-x