Decidable discriminator varieties from unary varieties

DOI10.2307/2275480zbMath0747.08008OpenAlexW2070060053MaRDI QIDQ3984411

Ralph McKenzie, Matthew A. Valeriote, Stanley N. Burris

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275480

zbMATH Keywords

decidable theoryternary discriminatorunary algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Varieties (08B99) Unary algebras (08A60)

Related Items

Discriminating varieties, Hereditary undecidability of some theories of finite structures, Finitely Decidable Congruence Modular Varieties, Discriminator varieties and symbolic computation, Homogeneous locally finite varieties, Dirichlet series whose partial sums of coefficients have regular variation, Decidable locally finite discriminator varieties arising from dihedral varieties of groups, Decidable Discriminator Varieties from Unary Classes, A Characterization of Finitely Decidable Congruence Modular Varieties, Decidable discriminator varieties with lattice stalks

Cites Work

• Unnamed Item
• Unnamed Item
• Iterated discriminator varieties have undecidable theories
• Decidable unary varieties
• The structure of decidable locally finite varieties
• A Structure Theorem for Strongly Abelian Varieties with Few Models