 Independently Ehud Hrushovski has proved model-theoretic results on Frobenius automorphisms.Macintyre developed a first-order model theory for intersection theory and showed connections to Alexander Grothendieck's standard conjectures on algebraic cycles.Macintyre has proved many results on the model theory of real and complex exponentiation.