Survey 1979: Equational Logic - Department of Mathematics ...

Post, E., The two-valued iterative systems of mathematical logic, Annals of Math. Studies No. 5,
Princeton University Press, 1941.
Pultr, A., Concerning universal categories, Comm. Math. Univ. Carolinae, 5(1964), 227-239.
, Eine Bemerkung fiber volle Einbettung yon Kategorien yon Algebren, Math. Ann.,
178(1968), 78-82.
Pultr, A., and J. Sichler, Primitive classes of algebras with two unary operations, containing all
algebraic categories as full subcategories, Comment. Math. Univ. Carolinae, 113(1969), 425-445.
Quackenbush, R., Demi-semi-primal algebras and Mal 'eev conditions, Math. Z., 122(1971), 166-176.
__, Equational classes generated by finite algebras, Algebra Universalis, 1(1971), 265-266.
__, Some remarks on categorical algebras, Algebra Universalis, 2(1972), 246.
Rebane, J., Primitive classes of single-type algebras, (Russian, Estonian and English summaries) Eesti
NSV. Tead. Akad. Toimetised Ffihs.- Math., 16(1967), 143-145.
, On primitive classes of a similarity type, Izvestia Akad. Nauk Estonia, 16(1967),
141-145.
Ribelto, H. B., and R. Schwabauer, A remark on equational completeness, Arch. Math. Logik,
Grundlagenforsch., 7(1963), 122-123.
Robinson, D. A., Concerning functional equations of the generalized Bol-Moufang type, Aequ.
Math., 14(1976), 429-434.
Romanowska, A., and R. Freese, Subdirectly irreducible modular double p-algebras, Houston J.
Math., 3(1977), 109-112.
Rosenberg, I. G., Completeness properties of multiple-valued logic algebras, 144-186 in: R. Rine, ed.,
Computer Science and Multiple-valued Logic, North-Holland, 1976.
Schein, B. M., On the Birkhoff-Kogalovskii theorem, (Russian), Uspekhi Mat. Nauk, 20(1965),
173-174.
Schmidt, E. T., A remark on lattice varieries defined by partial lattices, Stud. Sci. Math. Hung.,
9(1974). 195-198.
, On n-permutable equational classes, Acta Sci. Math. (Szeged), 33(1972), 29-30.
..
__, Uber reguliire Mannigfaltigkeiten, Acta Sci. Math. (Szeged), 31 (1970), 197-201.
Schmidt, J., Concerning some theorems of Marczewski on algebraic independence, Colloq,Math.,
13(1964), 11-15.
, Algebraic operations and algebraic independence in algebras with infinitary operations,
Math. Japonicae, 6(1963), 77-112.
Schi/tzenberger, M.-P., Sur la thborie des structures de Dedekind, C. R. Acad. Sci. Paris, 216(1943),
717-718.
__, Sur les structures de Dedekind, C. R. Acad. Sci. Paris, 218(1944), 818-819.
Shafaat, A., A note onMal 'cev varieties, Canad. Math. Bull, 17(1974), 409.
, Lattices of sub-semivarieties of certain varieties, J. Austral. Math. Soc., 12(1971), 15-20.
, Two isotopically equivalent varieties of groupoids, Publ. Math. Debrecen, 17(1970),
105-110.
Sichler, J., U(1,1) can be strongly embedded in category of semigroups, Comm. Math. Univ.
Carolinae, 9(1968), 257-262.
, The category of commutative groupoids is binding, Comm. Math. Univ. Carolinae,
9(1967), 753-755.
, Concerning minimal primitive classes of algebras containing any category of algebras as a
full subcategory, Comm. Math. Univ. Carolinae, 9(1968), 627-635.
Sioson, F. M., Free-algebraic characterization of primal and independent algebras, Proc. Amer. Math.
Soc., 12(1961), 435-439.
Skala, H. L., Trellis theory, Algebra Universalis, 1(1971/72), 218-233.
81