The Pila-Wilkie theorem and analytic Ax-Kochen-Ersov theory