Universal extensions of specialization semilattices

Document Type : Research Paper

Author

Dipartimento di Matematica, Viale della Ricerca Scientifica Non Chiusa, Universit`a di Roma “Tor Vergata”, I-00133 Rome, Italy.

Abstract

A specialization semilattice is a join semilattice together with a coarser preorder ⊑ satisfying an appropriate compatibility condition. If X is a topological space, then (P(X),∪,⊑) is a specialization semilattice, where x ⊑ y if x ⊆ Ky, for x, y ⊆ X, and K is closure. Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. In a former work we showed that every specialization semilattice can be embedded into the specialization semilattice associated to a topological space as above. Here we describe the universal embedding of a specialization semilattice into an additive closure semilattice.

Keywords


[1] Blass, A., Combinatorial cardinal characteristics of the continuum, in Foreman, M., and Kanamori, A. (eds.), “Handbook of Set Theory”, Springer, Dordrecht, 2010,395-489.
[2] Chang, C.C. and Keisler, H.J., “Model theory”, Studies in Logic and the Foundations of Mathematics 73, North-Holland Publishing Co., American Elsevier Publishing Co., Inc., 1973, third expanded edition, 1990.
[3] Erné, M., Closure, in Mynard, F., and Pearl E. (eds), “Beyond topology”, Contemp. Math. 486, Amer. Math. Soc., Providence, RI, 2009, 163-238.
[4] Galatos, N. and Tsinakis, C., Equivalence of consequence relations: an ordertheoretic and categorical perspective, J. Symbolic Logic 74 (2009), 780-810.
[5] Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., and Scott, D.S.,“Continuous Lattices and Domains”, Encyclopedia of Mathematics and its Applications 93, Cambridge University Press, 2003.
[6] Hartshorne, R., “Algebraic Geometry”, Graduate Texts in Mathematics 52, Springer-Verlag, 1977.
[7] Kronheimer, E.H. and Penrose, R., On the structure of causal spaces, Proc. Cambridge Philos. Soc. 63 (1967), 481-501.
[8] Lehrer, E., On a representation of a relation by a measure, J. Math. Econom. 20 (1991), 107-118.
[9] Lipparini, P., A model theory of topology, arXiv:2201.00335v1 (2022), 1-30.
[10] McKinsey, J.C.C. and Tarski, A., The algebra of topology, Ann. of Math. 45 (1944), 141-191.
[11] Montalbán, A. and Nies, A., Borel structures: a brief survey, in Greenberg, N., Hamkins, J.D., Hirschfeldt, D., and Miller, R., Effective mathematics of the uncountable, Lect. Notes Log. 41, Assoc. Symbol. Logic, La Jolla, CA, 2013, 124-134.
[12] Peters, J. and Naimpally, S., Applications of near sets, Notices Amer. Math. Soc. 59 (2012), 536-542.
[13] Peters, J. F. and Wasilewski, P., Tolerance spaces: Origins, theoretical aspects and applications, Inform. Sci. 195 (2012), 211-225.
[14] Ranzato, F., Closures on CPOs form complete lattices, Inform. and Comput. 152 (1999), 236-249. Paolo