Multi-argument specialization semilattices
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915097676349440 |
|---|---|
| author | Lipparini, Paolo |
| author_facet | Lipparini, Paolo |
| contents | If $X$ is a closure space with closure $K$, we consider the semilattice $(\mathcal P(X), \cup)$ endowed with further relations $ x \sqsubseteq y_1, y_2, \dots, y_n$ (a distinct $n+1$-ary relation for each $n \geq 1$), whose interpretation is $x \subseteq Ky_1 \cup Ky_2 \cup \dots \cup Ky_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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2208_12680 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Multi-argument specialization semilattices Lipparini, Paolo Rings and Algebras 06A15, 54A05, 06A12 If $X$ is a closure space with closure $K$, we consider the semilattice $(\mathcal P(X), \cup)$ endowed with further relations $ x \sqsubseteq y_1, y_2, \dots, y_n$ (a distinct $n+1$-ary relation for each $n \geq 1$), whose interpretation is $x \subseteq Ky_1 \cup Ky_2 \cup \dots \cup Ky_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. |
| title | Multi-argument specialization semilattices |
| topic | Rings and Algebras 06A15, 54A05, 06A12 |
| url | https://arxiv.org/abs/2208.12680 |