Infinite Atomized Semilattices
We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and show that for finitely generated semilattices, atomizations con...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Journal Article |
Language: | English |
Published: |
02-11-2023
|
Subjects: | |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | We extend the theory of atomized semilattices to the infinite setting. We
show that it is well-defined and that every semilattice is atomizable. We also
study atom redundancy, focusing on complete and finitely generated semilattices
and show that for finitely generated semilattices, atomizations consisting
exclusively of non-redundant atoms always exist. |
---|---|
DOI: | 10.48550/arxiv.2311.01389 |