scientific article; zbMATH DE number 14392

MaRDI QIDQ3976917zbMATH OpenFDO

Authors Paweł M. Idziak

Publication date 25 June 1992

zbMATH Keywords

Boolean groupsequivalential algebrasdecision problemBrouwerian semilatticesreducts of algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 120349
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Varieties with decidable finite algebras. II: Permutability
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• A sufficient condition for finite decidability

Cited in

(8)

• A note on Kirkwood's algebraic method for decision problems
• scientific article; zbMATH DE number 120349 (Why is no real title available?)
• Decision problems for classes of diagonalizable algebras
• scientific article; zbMATH DE number 4137743 (Why is no real title available?)
• Decision Problems for Finite Automata over Infinite Algebraic Structures
• scientific article; zbMATH DE number 5507563 (Why is no real title available?)
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties

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 Q3976917)