Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
76<br />
Goetz, A. and C. Ryll-Nardzewski, On basis <strong>of</strong> abstract algebras, Bull. Acad. Polon. Sci. Sr. Sci.<br />
Math., Astronom, Phys., 8(1960), 147-161.<br />
Gr/itzer, G., A theorem on doubly transitive permutation groups with applications to universal<br />
algebras, Fund. Math., 53(1963), 25-41.<br />
, <strong>Equational</strong> classes oœlattices, Duke Math. J., 33(1966), 613-622.<br />
., Free algebras over first order axiom systems, Magyar Tud. Akad. Mat. Kutat6 Int. K6zl.,<br />
8(1963), 193-199.<br />
, Free S-structures, Trans. Amer. Math. Soc., 135(1969), 517-542.<br />
., On polynomial algebras and free algebras, Canad. Math. J., 20(1968), 575.581.<br />
., On the existence <strong>of</strong> free structures over universal classes, Math. Nachr., 36(1968),<br />
135-140.<br />
., Stone algebras form an equational class. Remarks on lattie. e theory, III, J. Austral. Math.<br />
Soc., 9(1959), 308-309.<br />
Gr//tzer, G., and H. Lakser, <strong>Equational</strong>ly compact semilattices, Colloq. Math., 20(1969), 27-30.<br />
., The structure <strong>of</strong> pseudo-complemented distributive lattices, II. Congruence extension and<br />
amalgamation, Trans. Amer. Math. Soc., 156(1971), 343-358.<br />
, Two observations on the congruence extension property, Proc. Amer. Math. Soc.,<br />
35(1972), 63-64.<br />
Gr/itzer, G., Lakser, H., and J. Pt'onka, Joins and direct products <strong>of</strong>equationalclasses, Canad. Math.<br />
Bull., 12(1969), 741-744.<br />
Gumm, H. P., Malcev conditions in sums <strong>of</strong> varieties and a new Malcev condition, Algebra<br />
Universalis, 5(1975), 56-64.<br />
Hagemann, J. and A. Mitschke, On n-permutable congruences, Algebra Universalis, 3(1973), 8-12.<br />
Halkowska, K., Congruences and automorphisms <strong>of</strong> algebras belonging to equational classes with<br />
non-trivializing equalities, Bull. Soc. Roy. Sci. Liege, 44(1975), 8-11.<br />
Hecht, T., and T. Katrihik, <strong>Equational</strong> classes <strong>of</strong> relative Stone algebras, Notre Dame J. Formal<br />
<strong>Logic</strong>, 13(1972), 248-254.<br />
Hedrlih, Z. and Lambek, J., How extensive is the category <strong>of</strong> semigroups? J. Algebra, 11(1969),<br />
195-212.<br />
Hedrlih, Z. and A. Pultr, On full embeddings <strong>of</strong> categories <strong>of</strong> algebras, Ill. J. Math., 10(1966),<br />
392-406.<br />
Hedrlih, Z. and Vopnka, P., An undecidability theorem concerning full embeddings into categories<br />
oœalgebras, Comm. Math. Univ. Carolinae, 7(1966), 401-409.<br />
Herrmann, C., Weak projective radius and finite equational bases for classes <strong>of</strong> lattices, Algebra<br />
Universalis, 3(1973), 51-58.<br />
Herrmann, C., and Andrea Hahn, Zum Wortproblem fiir freie Untermodulverbiinde, Arch. Math.,<br />
(Basel), 26(1975), 449-453.<br />
Herrmann, C., and Huhn, A., Zum Begriff der charakteristic modularer Verbgnde, Math. Z.,<br />
144(1975), 185-194.<br />
Herrmann, C. and Poguntke, W., The class <strong>of</strong> serblattices <strong>of</strong> normal subgroup lattices is not<br />
elementary, Algebra Universalis, 4(1974), 280-286.<br />
Higgs, D., Remarks on residually small varieties, Algebra Universalis, 1(1971), 383-385.<br />
Hilton, P. J., Note on free and direct products in general categories, Bull. Soc. Math. Belg., 13(1961),<br />
38-49.<br />
Hong, D. X., Covering relations among lattice varieties, Pacific J. Math., 40(1972), 575-603.<br />
Hu, T.-K., Characterization <strong>of</strong> algebraic functions in equational classes generated by independent<br />
primal algebras, Algebra Universalis, 1(1971), 187-191.<br />
.... On the bases <strong>of</strong> free algebras, Math. Scand., 16(1965), 25-28.