Decidable unary varieties

DOI10.1007/BF01188378zbMath0607.08004MaRDI QIDQ1085191

Matthew A. Valeriote

Publication date: 1987

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

finitely generated algebravariety of unary algebrasdecidable first order theoryunary terms

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Unary algebras (08A60) Basic properties of first-order languages and structures (03C07) Other classical first-order model theory (03C68)

Related Items (3)

Decidable discriminator varieties from unary varieties ⋮ Compatible relations on Heyting chains ⋮ Finitely Decidable Congruence Modular Varieties

Cites Work

• Unnamed Item
• Group-universal unary varieties
• The structure of decidable locally finite varieties
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Decidable unary varieties