scientific article; zbMATH DE number 3554283
From MaRDI portal
Publication:4128808
zbMath0356.02041MaRDI QIDQ4128808
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (10)
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 ⋮ Residually small varieties of K-algebras ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Finitely Decidable Congruence Modular Varieties ⋮ Associative rings ⋮ A sufficient condition for finite decidability ⋮ Varieties with a countable number of subquasivarieties
This page was built for publication:
