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

More documents

Recommendations

Info

WALTER TAYLOR 51 17.10. For "identical inclusions" see e.g. [261]. An identical inclusion is a (non-first-order) condition <strong>of</strong> the form r(xl,x2,... ) C Ol(X 1 ,x2,...), o2(x 1 ,x2,...),..., where ... denotes the subalgebra generated by ....
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: 50 EQUATIONAL LOGIC 17.3. See e.g.
Page 59 and 60: 54 24.* Baldwin, J. T. and J. Berma
Page 61 and 62: 56 79. , Embedding the dual of IIoo
Page 63 and 64: 58 131. , Monadic generalized spect
Page 65 and 66: 60 189. Horn, A., Free L-algebras,
Page 67 and 68: 62 244. Kennison, J. F., and D. Gui
Page 69 and 70: 300. --, Para primal varieties: a s
Page 71 and 72: 66 351. Petrich, M., All subvarieti
Page 73 and 74: 68 404. Solovay, R. M., New proof o
Page 76 and 77: SUPPLEMENTAL BIBLIOGRAPHY The follo
Page 78 and 79: Dale, E. C., Semigroup and braid re
Page 80 and 81: , The identities of - and unique su
Page 82 and 83: , On the fundamental subdirect fact
Page 84 and 85: Astronom. Phys., 7(1959), 611-616.
Page 86 and 87: Post, E., The two-valued iterative
Page 88 and 89: , .4 representation theorem for v*-
show all

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

Create successful ePaper yourself

Delete template?

Save as template?