This study delves into the cardinality operation in Stone relation algebras, extending from relation algebras. The research investigates the representation of Stone relation algebras with a cardinality operation. Various axioms for cardinality are discussed, along with their implications on atoms and representability. Key results include sufficient conditions for representability, relationships between cardinality axioms, and the impact of atoms on operations. Theorems provide insights into atomic and simple relation algebras with finite atoms.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Hitoshi Furu... at arxiv.org 03-14-2024
https://arxiv.org/pdf/2309.11676.pdfDeeper Inquiries