## 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