Model Theory with Applications to Algebra and Analysis
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. This volume completes 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 concluded here reveal 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 two-volume set will undoubtedly appeal to all mathematicians with an interest in model theory and its applications.
- Includes significant new results from leading researchers in model theory and related areas
- All major recent developments in the area are discussed; future directions in the area are proposed
- Essential reading for all model theorists and any student or researcher interested in the topic
Product details
May 2012Adobe eBook Reader
9781139239004
0 pages
0kg
1 table 30 exercises
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
- Preface
- List of contributors
- 1. Conjugacy in groups of finite Morley rank Olivier Frécon and Eric Jaligot
- 2. Permutation groups of finite Morley rank Alexandre Borovik and Gregory Cherlin
- 3. A survey of asymptotic classes and measurable structures Richard Elwes and Dugald Macpherson
- 4. Counting and dimensions Ehud Hrushovski and Frank Wagner
- 5. A survey on groups definable in o-minimal structures Margarita Otero
- 6. Decision problems in algebra and analogues of Hilbert's tenth problem Thanases Pheidas and Karim Zahidi
- 7. Hilbert's tenth problem for function fields of characteristic zero Kirsten Eisenträger
- 8. First-order characterization of function field invariants over large fields Bjorn Poonen and Florian Pop
- 9. Nonnegative solvability of linear equations in ordered Abelian groups Philip Scowcroft
- 10. Model theory for metric structures IItaï Ben Yaacov, Alexander Berenstein, C. Ward Henson and Alexander Usvyatsov.