Multi-argument specialization semilattices

arXiv2208.12680MaRDI QIDQ6408927FDOQ6408927

Authors: Paolo Lipparini 

Publication date: 26 August 2022

Abstract: If $X$ is a closure space with closure $K$, we consider the semilattice $(mathcalP(X),cup)$ endowed with further relations $xsqsubseteq{y}_1,y_2,dots,y_n$ (a distinct $n+1$-ary relation for each $ngeq1$), whose interpretation is $xsubseteqK{y}_{1}cupK{y}_{2}cupdotscupK{y}_n$. We present axioms for such "multi-argument specialization semilattices" and show that this list of axioms is complete for substructures, namely, every model satisfying the axioms can be embedded into some structure originated by some closure space as in the previous sentence. We also provide a canonical embedding of a multi-argument specialization semilattice into (the reduct of) some closure semilattice.

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Semilattices (06A12) Topological spaces and generalizations (closure spaces, etc.) (54A05)

This page was built for publication: Multi-argument specialization semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6408927)