, .4 representation theorem for v*-algebras, Fund. Math., 52(1963), 291-317. , Linear independence in abstract algebras, Colloq. Math., 14(1966), 233-255. , On a class <strong>of</strong> universal algebras, Fund. Math., 57(1965), 327-350. , Remarks on independence in finite algebras, Colloq. Math., 11(1963), 1-12. Urman, A. A., Groupoids <strong>of</strong> varieties <strong>of</strong> certain algebras, (Russian), Algebra i Logika, 8(1969), 241-250. Valutse, I. I., Universal algebras with proper but not permutable congruences, (Russian),Uspeki Mat. Nauk, 18(1963), 145-148. Vancko, R. M., The spectrum <strong>of</strong> some classes <strong>of</strong> free universal algebras, Algebra Universalis, 1(1971), 46-53. Varlet, J., A regular variety <strong>of</strong> type (2,2 1,1,0,0), Algebra Universalis, 2(1972), 218-223. Vaughan-Lee, M. R., Laws in finite loops, Algebra Universalis, to appear. Vaught, R., On the arithmetic equivalence <strong>of</strong> free algebras, Bull. Amer. Math. Soc., 61(1955), 173-174. Vitenko, I. V., and V. V. Nikolenko, .4 certain variety <strong>of</strong> algebras, Sibirsk Mat. Z., 15(1974), 430-433, (Russian). Wenzel, G. H., Konstanten in endlichenfreien universellen.4lgebren, Math. Z., 102(1967), 205-215. Werner, H., .4 Maldev condition for admissible relations, Algebra Universalis, 3(1973), 263. __, Congruences on products <strong>of</strong> algebras and functionally free algebras, Algebra Universalis, 4(1974), 99-105. , Diagonal completeness and affine products, Algebra Universalis, 4(1974), 269-270. , Finite simple non abelian groups are functionally complete, Bull. Soc. Roy. Sci. Li6ge, 43(1974), 400. , Eine Charakterisierung funktional vollstiindiger A lgebren, Arch. Math. (Basel), 21 (1970), 381-385. Wille, R., Primitive Liinge und primitive Weite bei modularen Verbnden, Math. Z., 108(1969), 129-136. , Variety invariants for modular lattices, Canad. J. Math., 21(1969), 279-283. Yanov, Yu. I., Systems <strong>of</strong> identities for algebras, Problems in cybernetics, 8(1964), 122-153. Yaqub, A., On certain classes <strong>of</strong> -- and an existence theorem for - primal clusters, Ann. Scuola Norm. Sup. Pisa (3), 20(1966), 1-13. ., On the identities <strong>of</strong> direct products <strong>of</strong> certain algebras, Amer. Math. Monthly, 68(1961), 239-241. ., Primal clusters, Pacific J. Math., 16(1966), 379-388. ., Semi-primal categorical independent algebras, Math. Z., 93(1966), 395-463. 83
The <strong>Department</strong> <strong>of</strong> <strong>Mathematics</strong> and the University <strong>of</strong> Houston are greatly indebted to Mr. Roy H. Cullen for a major grant which made it possible to establish this publication.
- Page 1 and 2:
HOUSTON JOURNAL OF MATHEMATICS Surv
- Page 3 and 4:
EQUATIONAL LOGIC Walter Taylor This
- Page 5 and 6:
EQUATIONAL LOGIC CONTENTS 1. Early
- Page 7 and 8:
2 EQUATIONAL LOGIC 2. The existence
- Page 9 and 10:
4 EQUATIONAL LOGIC A are taken as v
- Page 11 and 12:
6 EQUATIONAL LOGIC is closed under
- Page 13 and 14:
8 EQUATIONAL LOGIC model theory, an
- Page 15 and 16:
10 EQUATIONAL LOGIC completeness th
- Page 17 and 18:
12 EQUATIONAL LOGIC algebras do not
- Page 19 and 20:
14 EQUATIONAL LOGIC groups with a s
- Page 21 and 22:
16 EQUATIONAL LOGIC (Martin [286, p
- Page 23 and 24:
18 EQUATIONAL LOGIC algebras A with
- Page 25 and 26:
20 EQUATIONAL LOGIC 9.18. Some vari
- Page 27 and 28:
22 EQUATIONAL LOGIC some algebras o
- Page 29 and 30:
24 EQUATIONAL LOGIC is an interval
- Page 31 and 32:
26 EQUATIONAL LOGIC The second meth
- Page 33 and 34:
28 EQUATIONAL LOGIC for arbitrary f
- Page 35 and 36:
30 EQUATIONAL LOGIC The theory Z 1
- Page 37 and 38: 32 EQUATIONAL LOGIC conversely, eve
- Page 39 and 40: 34 EQUATIONAL LOGIC x=y Boolean alc
- Page 41 and 42: 36 EQUATIONAL LOGIC dual covers: on
- Page 43 and 44: 38 EQUATIONAL LOGIC (Some prelimina
- Page 45 and 46: 40 EQUATIONAL LOGIC semilattices (c
- Page 47 and 48: 42 EQUATIONAL LOGIC a congruence on
- Page 49 and 50: 44 EQUATIONAL LOGIC compactificatio
- Page 51 and 52: 46 EQUATIONAL LOGIC precise definit
- Page 53 and 54: 48 EQUATIONAL LOGIC 16. Connections
- Page 55 and 56: 50 EQUATIONAL LOGIC 17.3. See e.g.
- Page 58 and 59: REFERENCES This is not really a com
- Page 60 and 61: 52.* __ , Current trends in algebra
- Page 62 and 63: Universalis, 2(1972), 317-323. { 12
- Page 64 and 65: Math. Bull., 18(1975), 427-429. 161
- Page 66 and 67: 216. Jones, G. T., Pseudocomplement
- Page 68 and 69: 274. 275. 276. 277. Ferrara (7), 14
- Page 70 and 71: 324. The lattice of equational clas
- Page 72 and 73: Soc., 23(1976), A-93. {16.7) 379. R
- Page 74: 15(1974), 174-177. (13} 431.*Trakht
- Page 77 and 78: 72 , Certain algorithmic problems f
- Page 79 and 80: 74 161-171. Fajtlowicz, S. and E. M
- Page 81 and 82: 76 Goetz, A. and C. Ryll-Nardzewski
- Page 83 and 84: 78 sets and general algebra, Acta.
- Page 85 and 86: 8O Newman, M. H. A., A characteriza
- Page 87: 82 __, Trellis theory, Memoirs Amer