scientific article; zbMATH DE number 3554283

MaRDI QIDQ4128808zbMATHFDO

Authors A. P. Zamyatin

Publication date 1976

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Varieties (08B99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to associative rings and algebras (16-00)

Cited in

(10)

• Bounding essential arities of term operations in finitely decidable varieties
• Varieties with a countable number of subquasivarieties
• Associative rings
• The number of non-isomorphic models in quasi-varieties of semigroups
• 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
• Varieties with decidable finite algebras. I: Linearity
• Finitely Decidable Congruence Modular Varieties
• A sufficient condition for finite decidability
• Residually small varieties of K-algebras

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