Relevant Background

It would be impossible to give an exhaustive list of all the relevant literature (that would amount to almost all of maths), but below I give a list of articles that, for various reasons, I keep going back to.

Existential Closedness

For complex exponentiation

For exponential maps of (semi) abelian varieties

For the modular j-function

For automorphic functions

For other functions

(Un)likely intersections and Zilber-Pink

Exponential maps

The modular j-function

General settings

Schanuel's Conjecture and Ax-Schanuel Theorems

For complex exponentiation

For the modular j-function

General results

Categoricity