2024/05/23 by Tomasz Kowalski, Katarzyna Słomczyńska, Kowalski, Tomasz +1
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Advanced Topology and Set Theory
paper · pdf · doi:10.48550/arxiv.2405.14581
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra terms, simpler proofs of several existing results, as well as a complete characterisation of structurally complete varieties of p-algebras.