A topological duality for monotone expansions of semilattices. (English) Zbl 1511.06002
Summary: In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in [S. A. Celani and L. J. González, Appl. Categ. Struct. 28, No. 5, 853–875 (2020; Zbl 1484.06024)] for semilattices together with a topological description of their canonical extension. As an application of this duality we obtain a characterization of the congruences of monotone semilattices by means of monotone lower-Vietoris-type topologies.
Citations:
Zbl 1484.06024References:
| [1] | Adaricheva, K.; Nation, J., Lattices of quasi-equational theories as congruence lattices of semilattices with operators: part I, Int. J. Algebra Comput., 22, 7, 27 (2012) · Zbl 1284.08018 |
| [2] | Bezhanishvili, G.; Jansana, R., Priestley style duality for distributive meet-semilattices, Stud. Log., 98, 1-2, 83-122 (2011) · Zbl 1238.03050 · doi:10.1007/s11225-011-9323-5 |
| [3] | Bezhanishvili, G.; Jansana, R., Generalized Priestley quasi-orders, Order, 28, 2, 201-220 (2011) · Zbl 1243.06003 · doi:10.1007/s11083-010-9166-0 |
| [4] | Bezhanishvili, G.; Jansana, R., Esakia style duality for implicative semilattices, Appl. Categ. Struct., 21, 2, 181-208 (2013) · Zbl 1294.06005 · doi:10.1007/s10485-011-9265-0 |
| [5] | Birkhoff, G., Rings of sets, Duke Math. J., 3, 443-454 (1937) · Zbl 0017.19403 · doi:10.1215/S0012-7094-37-00334-X |
| [6] | Burris, S.; Sankappanavar, HP, A Course in Universal Algebra (1981), Berlin: Springer, Berlin · Zbl 0478.08001 · doi:10.1007/978-1-4613-8130-3 |
| [7] | Celani, S., Topological representation of distributive semilattices, Sci. Math. Jpn., 58, 1, 55-66 (2003) · Zbl 1041.06002 |
| [8] | Celani, S., Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator, Order, 26, 1, 49-67 (2009) · Zbl 1196.06008 · doi:10.1007/s11083-008-9106-4 |
| [9] | Celani, S.; Calomino, I., Some remarks on distributive semilattices, Commentat. Math. Univ. Carol., 54, 3, 407-428 (2013) · Zbl 1289.06004 |
| [10] | Celani, S.; González, LJ, A categorical duality for semilattices and lattices, Appl. Categ. Struct., 28, 5, 853-875 (2020) · Zbl 1484.06024 · doi:10.1007/s10485-020-09600-2 |
| [11] | Celani, S.; Menchón, MP, Monotonic distributive semilattices, Order, 36, 3, 463-486 (2019) · Zbl 1468.03081 · doi:10.1007/s11083-018-9477-0 |
| [12] | Chellas, B., Modal Logic: An introduction (1980), Cambridge: Cambridge University Press, Cambridge · Zbl 0431.03009 · doi:10.1017/CBO9780511621192 |
| [13] | Dunn, J.; Gehrke, M.; Palmigiano, A., Canonical extensions and relational completeness of some substructural logics, J. Symb. Log., 70, 3, 713-740 (2005) · Zbl 1101.03021 · doi:10.2178/jsl/1122038911 |
| [14] | Düntsch, I.; Orlowska, E.; Rewitzky, I., Structures with multirelations, their discrete dualities and applications, Fundam. Inform., 100, 1-4, 77-98 (2010) · Zbl 1217.08004 · doi:10.3233/FI-2010-264 |
| [15] | Gehrke, M.; Jónsson, B., Monotone bounded distributive lattice expansions, Math. Jap., 52, 2, 197-213 (2000) · Zbl 0972.06005 |
| [16] | Gehrke, M.; Jónsson, B., Bounded distributive lattice expansions, Math. Scand., 94, 1, 13-45 (2004) · Zbl 1077.06008 · doi:10.7146/math.scand.a-14428 |
| [17] | Gouveia, MJ; Priestley, HA, Canonical extensions and profinite completions of semilattices and lattices, Order, 31, 2, 189-216 (2014) · Zbl 1301.06022 · doi:10.1007/s11083-013-9296-2 |
| [18] | Grätzer, G., General Lattice Theory (1998), Basel: Birkhäuser, Basel · Zbl 0909.06002 |
| [19] | Hansen, H.H.: Monotonic Modal Logic. Master’s thesis, University of Amsterdam (2003) |
| [20] | Hyndman, J.; Nation, JB; Nishida, J., Congruence lattices of semilattices with operators, Stud. Log., 104, 2, 305-316 (2016) · Zbl 1417.06004 · doi:10.1007/s11225-015-9641-0 |
| [21] | Ivanova-Dimova, E., Lower-Vietoris-type topologies on hyperspaces, Topology Appl., 220, 100-110 (2017) · Zbl 1365.54013 · doi:10.1016/j.topol.2017.02.011 |
| [22] | Jónsson, B.; Tarski, A., Boolean algebras with operators. I, Am. J. Math., 73, 891-939 (1951) · Zbl 0045.31505 · doi:10.2307/2372123 |
| [23] | Jónsson, B.; Tarski, A., Boolean algebras with operators. II, Am. J. Math., 74, 127-162 (1952) · Zbl 0045.31601 · doi:10.2307/2372074 |
| [24] | Moshier, MA; Jipsen, P., Topological duality and lattice expansions. I: A topological construction of canonical extensions, Algebra Univers., 71, 2, 109-126 (2014) · Zbl 1307.06002 · doi:10.1007/s00012-014-0267-2 |
| [25] | Priestley, H., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc., 2, 186-190 (1970) · Zbl 0201.01802 · doi:10.1112/blms/2.2.186 |
| [26] | Rewitzky, I., Binary multirelations. Theory and applications of relational structures as knowledge instruments, Lect. Notes Comput. Sci., 2929, 256-271 (2003) · Zbl 1203.68035 · doi:10.1007/978-3-540-24615-2_12 |
| [27] | Stone, M., Topological representations of distributive lattices and Brouwerian logics, Čas. Mat. Fys., 67, 1-25 (1937) · Zbl 0018.00303 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
