Article contents
Theories with equational forking
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
- 2
- Cited by