SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES

DOI10.1142/S0218196792000074zbMath0759.08007OpenAlexW2020416879MaRDI QIDQ4024646

Ross Willard, Matthew A. Valeriote

Publication date: 8 February 1993

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196792000074

zbMATH Keywords

transfer principlesdecidable first-order theoryprime quotients

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Related Items (4)

Hereditary undecidability of some theories of finite structures ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Finitely Decidable Congruence Modular Varieties ⋮ On the Direct Decomposition of Nilpotent Expanded Groups

This page was built for publication: SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES