References
W. J. Blok, P. Köhler andD. Pigozzi,On the structure of varieties with equationally definable principal congruences II, Algebra Universalis,18 (1984), 334–379.
W. J. Blok andD. Pigozzi,On the structure of varieties with equationally definable principal congruences I, Algebra Universalis,15 (1982), 195–227.
S.Burris and R.McKenzie,Decidability and Boolean Representation, Mem. Amer. Math. Soc.246 (1981).
S. Burris andH. P. Sankappanavar,Lattice-theoretic decision problems in universal algebra, Algebra Universalis,5 (1975), 163–177.
S.Burris and H. P.Sankappanavar,A Course in Universal Algebra, Springer Verlag 1981.
S. D. Comer,Elementary properties of structure of sections, Bol. Soc. Mat. Mexicana,19 (1976), 183–190.
K. Idziak,Undecidability of Brouwerian semilattices, Algebra Universalis,22 (1986), 298–301.
K.Idziak and P. M.Idziak,Decidability problem for finite Heyting algebras, to appear in Journal of Symbolic Logic,53 (1988).
P. M. Idziak,Undecidability of free pseudocomplemented distributive lattices, Reports on Mathematical Logic,21 (1987), 97–100.
P. M. Idziak,Undecidability of free pseudocomplemented semilattices, Publ. RIMS Kyoto Univ.,23 (1987), 559–564.
P. M. Idziak,Undecidability of relatively free Hilbert algebras, Algebra Universalis,25 (1988), 17–26.
P. M.Idziak,Decision problem for relatively free Brouwerian semilattices, to appear in Reports on Mathematical Logic,22 (1988).
P. M. Idziak,Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties, Algebra Universalis,25 (1988), 365–383.
B. Jónsson,Algebras whose congruence lattices are distributive, Math. Scand.,21 (1967), 110–121.
P. Köhler andD. Pigozzi,Varieties with equationally definable principal congruences, Algebra Universalis,11 (1980), 213–219.
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.
M. O.Rabin,Decidable Theories, in: J. Barwise ed.,Handbook of Mathematical Logic, North Holland 1977, pp. 595–629.
A. Tarski, A. Mostowski andR. M. Robinson,Undecidable Theories, North-Holland, Amsterdam 1953.
H. Werner,Discriminator algebras, Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, Berlin 1978.
A. P. Zamjatin,Varieties of associative rings whose elementary theory is decidable, Soviet Math. Dokl.,17 (1976), 996–999.
A. P. Zamjatin,Prevarieties of associative rings whose elementary theory is decidable, Sib. J. Math.,19 (1978), 890–901.
Author information
Authors and Affiliations
Additional information
This paper was prepared while the author was staying at the Faculty of Integrated Arts and Sciences of the Hiroshima University. He would like to thank Professor Hiroakira Ono for his hospitality.
Rights and permissions
About this article
Cite this article
Idziak, P.M. The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences. Algebra Universalis 26, 33–47 (1989). https://doi.org/10.1007/BF01243871
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01243871