Additions and corrections to "Theories with equational forking"
- p.333, Problem 1: The answer is yes, provided T has geometric elimination of imaginaries.
See forthcoming article of Ingo Kraus in the Archive for mathematical logic.
- p.338: Example 3.8, first paragraph:
If Poly is strict, then the field is algebraically closed (result by. J. Koenigsmann and M. Junker)
- p.338, l.20 and l.-12: read "by almost Poly-equational independence" instead of
"by almost Poly-equationality"
- p.338, l.23: read $\bar a$ instead of $\bar x$
- p.338, l-7: Poly is always almost strict (even nearly strict:
each Poly-instance over A is equivalent to a dcl(A)-instance).
Each field extension over a relatively closed subfield is regular