Decomposability of free Tarski algebras (Q2496153)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Decomposability of free Tarski algebras
scientific article

    Statements

    Decomposability of free Tarski algebras (English)
    0 references
    12 July 2006
    0 references
    The Tarski algebras considered here are the so-called implication algebras introduced by J.\,C.\,Abbott in 1967. The authors investigate direct decomposability of free Tarski algebras. Main results: A free Tarski algebra with an infinite set of free generators is directly indecomposable. A free Tarski algebra with a finite set of free generators can only be decomposed into a direct product of two factors, one of which is the two-element Tarski algebra.
    0 references
    0 references
    Tarski algebras
    0 references
    implication algebras
    0 references
    free algebras
    0 references
    factor congruences
    0 references
    implicative filters
    0 references

    Identifiers