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.

Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.

Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.

The book consists of XI Parts and 28 Chapters covering all areas of mathematics. It is a tool for students, scientists, engineers, students of many disciplines, teachers, professionals, writers and also for a general reader with an interest in mathematics and in science. It provides a wide range of mathematical concepts, definitions, propositions, theorems, proofs, examples, and numerous illustrations. The difficulty level can vary depending on chapters, and sustained attention will be required for some. The structure and list of Parts are quite classical: I. Foundations of Mathematics, II. Algebra, III. Number Theory, IV. Geometry, V. Analytic Geometry, VI. Topology, VII .Algebraic Topology, VIII. Analysis, IX. Category Theory, X. Probability and Statistics, XI. Applied Mathematics. Appendices provide useful lists of symbols and tables for ready reference. The publisher’s hope is that this book, slightly revised and in a convenient format, will serve the needs of readers, be it for study, teaching, exploration, work, or research.

This book is the outcome of the 1996 Warwick Algebraic Geometry EuroConference, containing 17 survey and research articles selected from the most outstanding contemporary research topics in algebraic geometry. Several of the articles are expository: among these a beautiful short exposition by Paranjape of the new and very simple approach to the resolution of singularities; a detailed essay by Ito and Nakamura on the ubiquitous A,D,E classification, centred around simple surface singularities; a discussion by Morrison of the new special Lagrangian approach to giving geometric foundations to mirror symmetry; and two deep, informative surveys by Siebert and Behrend on Gromow-Witten invariants treating them from the point of view of algebraic and symplectic geometry. The remaining articles cover a wide cross-section of the most significant research topics in algebraic geometry. This includes Gromow-Witten invariants, Hodge theory, Calabi-Yau 3-folds, mirror symmetry and classification of varieties.

This monograph provides an overview of developments in group theory motivated by model theory by key international researchers in the field. Topics covered include: stable groups and generalizations, model theory of nonabelian free groups and of rigid solvable groups, pseudofinite groups, approximate groups, topological dynamics, groups interpreting the arithmetic. The book is intended for mathematicians and graduate students in group theory and model theory. The book follows the course of the GAGTA (Geometric and Asymptotic Group Theory with Applications) conference series. The first book, "Complexity and Randomness in Group Theory. GAGTA book 1," can be found here: http://www.degruyter.com/books/978-3-11-066491-1 .

This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathe matics. It is a translation with updates and editorial comments of the Soviet Mathematical Encyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977-1985. The annotated translation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fine subdivi sion has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathematics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, en gineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques.

Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.