Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
WALTER TAYLOR 29<br />
12.12. Mod ; is residually small (cf. 14.8 below) (McNulty [306] ).<br />
PROBLEM 4. (Mycielski - see [197]). Is it decidable whether a finite set <strong>of</strong><br />
terms is jointly c-universal 0c a fixed cardinal)?<br />
(Terms ri(x 1 ,...,Xni) (1 i n) in operations F 1 ,...,F s are jointly c-universal iff<br />
for any operations Gi: c ni - c, the operations F 1 ,...,F s can be defined on c so that the<br />
term r i defines G i (1 i n). This notion <strong>of</strong> universality has been very useful in the<br />
study <strong>of</strong> undecidability <strong>of</strong> properties <strong>of</strong> sets <strong>of</strong> equations - see McNulty [305] .)<br />
Finally, we mention that Burris and Sankappanavar [80] have investigated<br />
undecidability properties <strong>of</strong> congruence lattices and lattices <strong>of</strong> subvarieties (õ 13 just<br />
below). A sample result: in a similarity type with at least one operation <strong>of</strong> rank 2,<br />
the lattice A <strong>of</strong> all equational theories has a hereditarily undecidable first order<br />
theory.<br />
13. The lattice <strong>of</strong> equational theories. For a fixed type (nt)tCT, order the<br />
family A <strong>of</strong> all equational theories by inclusion. One easily sees (from Birkh<strong>of</strong>f's<br />
Theorem <strong>of</strong> õ5 or directly from the definition at the beginning <strong>of</strong> õ5), that A is<br />
closed under arbitrary intersections - and so from purely lattice theoretic<br />
considerations, A has arbitrary joins as well, and so is a complete lattice. More<br />
specifically,<br />
iGVlEi = {e' iGoi;i [- e} = Eq(iiMod Ei).<br />
From the pro<strong>of</strong>-theoretic characterization <strong>of</strong> v it follows that A is an algebraic closure<br />
system and hence an algebraic lattice (see [91] [163] or [165]). Specifically, the<br />
compact elements <strong>of</strong> A are the finitely based theories <strong>of</strong> õ9 above, and every element<br />
is the join (actually the union) <strong>of</strong> all its finitely based subtheories. Obviously the join<br />
<strong>of</strong> two finitely based theories is finitely based (this holds for compact elements in any<br />
lattice); but the meet (i.e., intersection) <strong>of</strong> two finitely based theories can fail to be<br />
finitely based. We present an example <strong>of</strong> Karn<strong>of</strong>sky (unpublished - see [354]) (here<br />
and below we will sometimes express a theory by one <strong>of</strong> its finite bases without<br />
further mention)' Z 1 ß x(yz) = (xy)z ;2' x(yz) = (xy)z<br />
(xyz) 2 = x2y2z2 x3y 3 = y3x3<br />
x3y3z2w 3 = y3x3z2w 3.