Changes to Introduction and Applications

Modified comments regarding Bernstein; fixed the proposition using Weil
restriction and Néron models; changed the abstract and title.