Undecidability of relatively free Hilbert algebras (Q1103604)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Undecidability of relatively free Hilbert algebras
scientific article

    Statements

    Undecidability of relatively free Hilbert algebras (English)
    0 references
    1988
    0 references
    Let H stand for the variety of Hilbert algebras and I for its subvariety of implication algebras. In this paper the author interprets (by a method presented by \textit{S. Burris} and \textit{R. McKenzie} [Mem. Am. Math. Soc. 246 (1981; Zbl 0483.03019)]) the class of finite partition lattices, known to have hereditarily undecidable first order theory, into a particular class of implication algebras. This class is a subclass both of the class FI of finitely generated free implication algebras and of the class of the finite members of every non-trivial variety of Hilbert algebras. Thus he proves that the above classes have hereditarily undecidable first-order theories. Also he shows that FI can be interpreted into the class FV of the finitely generated free members of every non-trivial variety of Hilbert algebras; so he derives that the first-order theories of FV's are hereditarily undecidable.
    0 references
    variety of Hilbert algebras
    0 references
    implication algebras
    0 references
    finite partition lattices
    0 references
    hereditarily undecidable
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references