Decidable discriminator varieties with lattice stalks
From MaRDI portal
Publication:1319051
DOI10.1007/BF01236516zbMath0810.08005OpenAlexW2052848700MaRDI QIDQ1319051
Publication date: 20 April 1995
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01236516
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)
Related Items
Discriminating varieties ⋮ Decidable locally finite discriminator varieties arising from dihedral varieties of groups ⋮ Decidable Discriminator Varieties from Unary Classes
Cites Work
- Unnamed Item
- On countable stable structures which are homogeneous for a finite relational language
- Equational compactness in quasi-primal varieties
- Stable Finitely Homogeneous Structures
- Decidable discriminator varieties from unary varieties
- Decidable Discriminator Varieties from Unary Classes
- A note on ℵ0-categorical model-companions
- Sheaf Constructions and Their Elementary Properties