Decidable Discriminator Varieties from Unary Classes

DOI10.2307/2154349zbMath0776.03013OpenAlexW4239098567MaRDI QIDQ4038454

Ross Willard

Publication date: 16 May 1993

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

zbMATH Keywords

discriminator varietyternary discriminator functionlocally finite universal classesdecidable first-order theoryunary algebras of finite type

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Unary algebras (08A60)

Related Items

Discriminating varieties ⋮ Decidable locally finite discriminator varieties arising from dihedral varieties of groups ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties ⋮ Decidable discriminator varieties with lattice stalks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated discriminator varieties have undecidable theories
• The structure of decidable locally finite varieties
• Monadic algebras with finite degree
• Equational compactness in quasi-primal varieties
• Decidable discriminator varieties with lattice stalks
• Discriminating varieties
• The first order properties of products of algebraic systems
• Decidability and Boolean representations
• Decidable discriminator varieties from unary varieties
• A note on ℵ0-categorical model-companions
• Sheaf Constructions and Their Elementary Properties
• A decidable variety that is finitely undecidable
• Decidability of Second-Order Theories and Automata on Infinite Trees