Abstract
We 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.
Citation
Markus Junker. Ingo Kraus. "Theories with equational forking." J. Symbolic Logic 67 (1) 326 - 340, March 2002. https://doi.org/10.2178/jsl/1190150047
Information