We characterise the model-theoretic algebraic closure in Zilber’s exponential
field. A key step involves showing that certain algebraic varieties have finite
intersections with certain finite-rank subgroups of the graph of exponentiation.
Mordell–Lang for algebraic tori (a theorem of Laurent) plays a central role in our
proof.
