scientific article; zbMATH DE number 1284412

MaRDI QIDQ4242006zbMATH OpenFDO

Authors Ehud Hrushovski

Publication date 20 June 1999

zbMATH Keywords

history of model theorylocal modularityminimal structuresMordell-Lang conjecturestable structuressurveytame mathematicsZariski geometriesZil'ber's conjecture

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Classification theory, stability, and related concepts in model theory (03C45) Abelian varieties of dimension (> 1) (11G10)

Review text

The paper surveys and illustrates a recent proof of the Mordell-Lang Conjecture for function fields in arbitrary characteristic, due to the author and founded on a new approach, with a significant use of model theoretic methods. Indeed, as the introduction of the paper underlines, ``the proof follows naturally from model theoretic tools. Accordingly the author exposes and discusses here the model theory involved in the proof: minimal structures, local modularity, Zil'ber's Conjecture, Zariski geometries, and so on. At the end of the paper, a short survey of the basic steps of the proof is provided. But the article is also the occasion of a brief but very nice and enjoyable history of model theory, since Tarski and Abraham Robinson until this relevant application, and other ones. The growth of model theory is described from the perspective of these latest trends; also discussed is its relationship with geometry and, more generally, its role in determining ``the geography of tame mathematics, and in providing the real foundations of ``geometric paradises in which many geometric constructions can be carried out, with a guarantee of not encountering any pathological set. For the entire collection see [Zbl 0899.00015].

Recommendations

• Model theory and algebraic geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
• The Mordell-Lang conjecture for function fields
• scientific article; zbMATH DE number 2204751

Cited in

(12)

• An essay on model theory
• On bounded type-definable equivalence relations
• Stability and applications
• Positive model theory and amalgamations
• Stability
• scientific article; zbMATH DE number 1485610 (Why is no real title available?)
• scientific article; zbMATH DE number 1522509 (Why is no real title available?)
• scientific article; zbMATH DE number 1531895 (Why is no real title available?)
• Simple homogeneous models
• The reasonable effectiveness of model theory in mathematics
• Witt vectors and separably closed fields with higher derivations
• Simplicity of the automorphism groups of some Hrushovski constructions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4242006)