Theories with equational forking
AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.
Keyword(s):
Keyword(s):
1967 ◽
Vol 8
(3)
◽
pp. 175-185
◽
1990 ◽
Vol 75
(1-2)
◽
pp. 85-110
◽