References
S. Burris andH. P. Sankappanavar,A Course in Universal Algebra Springer-Verlag, New York-Heidelberg-Berlin, 1981.
D. H. J. de Jongh andA. S. Troelstra.On the connection of partially ordered sets with some pseudo-Boolean algebras, Indag. Math.,28 (1966), 317–329.
B. Jonsson,Algebras whose congruence lattices are distributive. Math. Scand.,21 (1967), 110–121.
P. Köhler,Brouwerian semilattices, Trans. Amer. Math. Soc.,268 (1981), 103–126.
A. I. Mal'cev,On the general theory of algebraic systems, Mat. Sbornik,35 (1954), 3–20.
M. O. Rabin,A simple method for undecidability proofs and some applications, in: Y. Bar-Hillel (ed),Logic, Methodology and Philosophy of Sciences, North Holland, Amsterdam 1965, pp 58–68.
A. Tarski, A. Mostowski andR. M. Robinson,Undecidable Theories, North Holland, Amsterdam 1953.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Idziak, K. Undecidability of Brouwerian semilattices. Algebra Universalis 22, 298–301 (1986). https://doi.org/10.1007/BF01224033
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01224033