Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007937875/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "This introduction to the recent exciting developments in the applications of model theory to algebraic geometry, illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang Conjecture starts from very basic background and works up to the detailed exposition of Hrushovski's proof, explaining the necessary tools and results from stability theory on the way. The first chapter is an informal introduction to model theory itself, making the book accessible (with a little effort) to readers with no previous knowledge of model theory. The authors have collaborated closely to achieve a coherent and self- contained presentation, whereby the completeness of exposition of the chapters varies according to the existence of other good references, but comments and examples are always provided to give the reader some intuitive understanding of the subject.".
- catalog contributor b11002007.
- catalog created "1998.".
- catalog date "1998".
- catalog date "1998.".
- catalog dateCopyrighted "1998.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Introduction to model theory -- Introduction to stabilitiy theory and Morley rank -- Omega-stable groups; Model theory of algebraically closed fields -- Introduction to abelian varieties and the Mordell-Lang conjecture -- The model-theoretic content of Lang's conjecture -- Zariski geometries -- Differential closed fields -- Separably closed fields -- Proof of the Mordell-Lang conjecture for function fields -- Proof of Manin's theorem by reduction to positive characteristic -- Index.".
- catalog description "This introduction to the recent exciting developments in the applications of model theory to algebraic geometry, illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang Conjecture starts from very basic background and works up to the detailed exposition of Hrushovski's proof, explaining the necessary tools and results from stability theory on the way. The first chapter is an informal introduction to model theory itself, making the book accessible (with a little effort) to readers with no previous knowledge of model theory. The authors have collaborated closely to achieve a coherent and self- contained presentation, whereby the completeness of exposition of the chapters varies according to the existence of other good references, but comments and examples are always provided to give the reader some intuitive understanding of the subject.".
- catalog extent "xv, 211 p. ;".
- catalog identifier "3540648631 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 1696.".
- catalog isPartOf "Lecture notes in mathematics, 0075-8434 ; 1696".
- catalog issued "1998".
- catalog issued "1998.".
- catalog language "eng".
- catalog publisher "New York : Springer,".
- catalog subject "510 s 511/.8 21".
- catalog subject "Arithmetical algebraic geometry.".
- catalog subject "Geometry, algebraic.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics.".
- catalog subject "Model theory.".
- catalog subject "Mordell conjecture.".
- catalog subject "Number theory.".
- catalog subject "QA3 .L28 no. 1696 QA9.7".
- catalog tableOfContents "Introduction to model theory -- Introduction to stabilitiy theory and Morley rank -- Omega-stable groups; Model theory of algebraically closed fields -- Introduction to abelian varieties and the Mordell-Lang conjecture -- The model-theoretic content of Lang's conjecture -- Zariski geometries -- Differential closed fields -- Separably closed fields -- Proof of the Mordell-Lang conjecture for function fields -- Proof of Manin's theorem by reduction to positive characteristic -- Index.".
- catalog title "Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / Elisabeth Bouscaren (ed.).".
- catalog type "text".