Quantifier elimination in discriminator varieties
From MaRDI portal
Publication:1084391
DOI10.1016/0168-0072(86)90045-XzbMath0606.03008MaRDI QIDQ1084391
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90045-x
03C60: Model-theoretic algebra
08B10: Congruence modularity, congruence distributivity
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Cites Work