scientific article; zbMATH DE number 14392
\(E\) be the class of equivalential algebras, \(BS\) be the variety of all Brouwerian semilattices, \(E_ 2\) be the variety of Boolean groups which is generated by the two-element group, \(V^ r\) be the class of all reducts of algebras from \(V\). It is stated that: I. For any subvariety \(V\) of \(E\) the following conditions are equivalent: (1) \(Th(V_{fin})\) is decidable, (2) \(Th(V_{fin})\) is not hereditarily undecidable, (3) \(V\subseteq E_ 2\). II. For any subvariety \(V\) of \(BS\) the following conditions are equivalent: (1) \(Th(V^ r_{fin})\) is decidable, (2) \(Th(V^ r_{fin})\) is not hereditarily undecidable, (3) \(V\) is generated by chains.
- 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
- Decision problems for classes of diagonalizable algebras
- 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
- A note on Kirkwood's algebraic method for decision problems
- Decision Problems for Finite Automata over Infinite Algebraic Structures
- scientific article; zbMATH DE number 4137743 (Why is no real title available?)
- scientific article; zbMATH DE number 5507563 (Why is no real title available?)
- scientific article; zbMATH DE number 120349 (Why is no real title available?)
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)
