Year: 2023
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Authors: Martin-Maroto, Fernando, Ricciardo, Antonio, Mendez, David, de Polavieja, Gonzalo G.
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Horizon 2020 Framework Programme
OpenAlex ID: W4388327590