The structure of decidable locally finite varieties

zbMath0702.08001MaRDI QIDQ1187715

Ralph McKenzie, Matthew A. Valeriote

Publication date: 17 September 1992

Published in: Progress in Mathematics (Search for Journal in Brave)

zbMATH Keywords

algorithmdecidable theorydiscriminator varietylocally finite varietyinterpretationaffine varietystrongly Abelian varietyAbelian algebradecidable varieties

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Structure theory of algebraic structures (08A05) Equational classes, universal algebra in model theory (03C05) Products, amalgamated products, and other kinds of limits and colimits (08B25) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items

Decidable unary varieties ⋮ Discriminating varieties ⋮ Superstable quasi-varieties ⋮ A decidable variety that is finitely undecidable ⋮ Decidable discriminator varieties from unary varieties ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Many-sorted and single-sorted algebras ⋮ Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties ⋮ On Solvable Congruences in Finitely Decidable Varieties ⋮ Varieties with decidable finite algebras. I: Linearity ⋮ Restricted Priestley dualities and discriminator varieties ⋮ Finite Simple Abelian Algebras are Strictly Simple ⋮ Hereditary undecidability of some theories of finite structures ⋮ Polygones ⋮ Universal algebraic methods for non-classical logics ⋮ Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Finitely Decidable Congruence Modular Varieties ⋮ Algebras from congruences ⋮ Homogeneous locally finite varieties ⋮ A field guide to equational logic ⋮ Triviality, NDOP and stable varieties ⋮ Structural problems for model companions of varieties of polygons ⋮ Finitary decidability implies congruence permutability for congruence modular varieties ⋮ Locally solvable factors of varieties ⋮ Decidable locally finite discriminator varieties arising from dihedral varieties of groups ⋮ A finitely axiomatizable undecidable equational theory with recursively solvable word problems ⋮ The structure of locally finite varieties with polynomially many models ⋮ Decidable Discriminator Varieties from Unary Classes ⋮ On finitely based groups and nonfinitely based quasivarieties ⋮ Towards the decidability of the theory of modules over finite commutative rings ⋮ Monoids with decidable and undecidable classes of polygons ⋮ Minimal abelian varieties of algebras, I ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties ⋮ A geometric consequence of residual smallness ⋮ BL-global representations

This page was built for publication: The structure of decidable locally finite varieties