scientific article; zbMATH DE number 3902615

MaRDI QIDQ3680804zbMATH OpenFDO

Authors Francesco Lacava

Publication date 1985

zbMATH Keywords

Abelian \(\ell \)-groupsŁ-algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Recommendations

• Decidable and undecidable MV-algebras
• Decision problems for equational theories of relation algebras
• Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• Undecidable theories of Lyndon algebras

Cited in

(6)

• scientific article; zbMATH DE number 3966058 (Why is no real title available?)
• Undecidability of relatively free Hilbert algebras
• Undecidable theories of Lyndon algebras
• scientific article; zbMATH DE number 3851087 (Why is no real title available?)
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680804)