References
S.Burris and H. P.Sankappanavar,A Course in Universal Algebra. GTM #78, Springer-Verlag, 1981.
S. Burris andH. Werner,Remarks on Boolean products. Algebra Universalis10 (1980), 333–344.
S. D. Comer,A sheaf theoretic duality for cylindric algebras. Trans. Amer. Math. Soc.169 (1972), 75–87.
M. Rubin,The theory of Boolean algebras with a distinguished subalgebra is undecidable. Ann. Sci. Univ. Clermont No. 60 Math. No. 13 (1976), 129–134.
Author information
Authors and Affiliations
Additional information
Research supported by NSERC Grant No. A7256
Rights and permissions
About this article
Cite this article
Burris, S. Iterated discriminator varieties have undecidable theories. Algebra Universalis 21, 54–61 (1985). https://doi.org/10.1007/BF01187556
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01187556