The Decision Problem for Certain Nilpotent Closed Varieties

DOI10.1002/malq.19810273108zbMath0474.08003OpenAlexW2138262918MaRDI QIDQ3929789

Stephen D. Comer

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810273108

zbMATH Keywords

lattice of varietiesindependent varietiesundecidable first-order theoryprojection algebrasdecidability of varietydecidable first-order theorynilpotent closure

Mathematics Subject Classification ID

Lattices of varieties (08B15) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

This page was built for publication: The Decision Problem for Certain Nilpotent Closed Varieties