Decidable locally finite discriminator varieties arising from dihedral varieties of groups
From MaRDI portal
Publication:1779462
DOI10.1016/J.JPAA.2004.10.012zbMath1063.08006OpenAlexW2143147654MaRDI QIDQ1779462
Publication date: 1 June 2005
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpaa.2004.10.012
Applications of logic to group theory (20A15) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The structure of decidable locally finite varieties
- Monadic algebras with finite degree
- Decidable discriminator varieties with lattice stalks
- Decidable discriminator varieties from unary varieties
- Decidable Discriminator Varieties from Unary Classes
- Sheaf Constructions and Their Elementary Properties
- Varieties of groups
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: Decidable locally finite discriminator varieties arising from dihedral varieties of groups