"Model Theory (Ax's Theorem)" by Piotr Kowalski