scientific article; zbMATH DE number 14392

zbMATH Open0749.08006MaRDI QIDQ3976917FDOQ3976917

Authors: Paweł M. Idziak 

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• A note on Kirkwood's algebraic method for decision problems
• 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
• Title not available (Why is that?)
• Decision problems for classes of diagonalizable algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision Problems for Finite Automata over Infinite Algebraic Structures

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)