Decidable discriminator varieties with lattice stalks

DOI10.1007/BF01236516zbMath0810.08005OpenAlexW2052848700MaRDI QIDQ1319051

Ross Willard

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

zbMATH Keywords

homogeneitydecidabilitydiscriminator varietylocal finitenessuniversal class of lattices

Mathematics Subject Classification ID

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