|
Showing 1 - 4 of
4 matches in All Departments
This book is a compilation of papers presented at the 2002 European
Summer Meeting of the Association for Symbolic Logic and the
associated Colloquium Logicum 2002 conference. It includes
tutorials and research articles from some of the world's preeminent
logicians. The topics presented span all areas of mathematical
logic, with a particular emphasis on Computability Theory and Proof
Theory.
The first of a two volume set showcasing current research in model
theory and its connections with number theory, algebraic geometry,
real analytic geometry and differential algebra. Each volume
contains a series of expository essays and research papers around
the subject matter of a Newton Institute Semester on Model Theory
and Applications to Algebra and Analysis. The articles convey
outstanding new research on topics such as model theory and
conjectures around Mordell-Lang; arithmetic of differential
equations, and Galois theory of difference equations; model theory
and complex analytic geometry; o-minimality; model theory and
noncommutative geometry; definable groups of finite dimension;
Hilbert's tenth problem; and Hrushovski constructions. With
contributions from so many leaders in the field, this book will
undoubtedly appeal to all mathematicians with an interest in model
theory and its applications, from graduate students to senior
researchers and from beginners to experts.
The second of a two volume set showcasing current research in model
theory and its connections with number theory, algebraic geometry,
real analytic geometry and differential algebra. Each volume
contains a series of expository essays and research papers around
the subject matter of a Newton Institute Semester on Model Theory
and Applications to Algebra and Analysis. The articles convey
outstanding new research on topics such as model theory and
conjectures around Mordell-Lang; arithmetic of differential
equations, and Galois theory of difference equations; model theory
and complex analytic geometry; o-minimality; model theory and
non-commutative geometry; definable groups of finite dimension;
Hilbert's tenth problem; and Hrushovski constructions. With
contributions from so many leaders in the field, this book will
undoubtedly appeal to all mathematicians with an interest in model
theory and its applications, from graduate students to senior
researchers and from beginners to experts.
Logic Colloquium '02 includes articles from some of the world's
preeminent logicians. The topics span all areas of mathematical
logic, but with an emphasis on Computability Theory and Proof
Theory. This book will be of interest to graduate students and
researchers in the field of mathematical logic.
|
|