A Guide to Classical and Modern Model Theory

  • Annalisa Marcja
  • Carlo Toffalori

Part of the Trends in Logic book series (TREN, volume 19)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Annalisa Marcja, Carlo Toffalori
    Pages 1-42
  3. Annalisa Marcja, Carlo Toffalori
    Pages 43-83
  4. Annalisa Marcja, Carlo Toffalori
    Pages 85-119
  5. Annalisa Marcja, Carlo Toffalori
    Pages 121-132
  6. Annalisa Marcja, Carlo Toffalori
    Pages 133-180
  7. Annalisa Marcja, Carlo Toffalori
    Pages 181-220
  8. Annalisa Marcja, Carlo Toffalori
    Pages 221-290
  9. Annalisa Marcja, Carlo Toffalori
    Pages 291-311
  10. Annalisa Marcja, Carlo Toffalori
    Pages 313-349
  11. Back Matter
    Pages 351-369

About this book

Introduction

Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.

This volume:
-is easily accessible to young people and mathematicians unfamiliar with logic;
-gives a terse historical picture of Model Theory;
-introduces the latest developments in the area;
-provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.

A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.

Keywords

algebra algebraic geometry algebraic group compactness theorem logic manifold model theory proof

Authors and affiliations

  • Annalisa Marcja
    • 1
  • Carlo Toffalori
    • 2
  1. 1.University of FlorenceItaly
  2. 2.University of CamerinoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-007-0812-9
  • Copyright Information Kluwer Academic Publishers 2003
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-1331-7
  • Online ISBN 978-94-007-0812-9
  • Series Print ISSN 1572-6126
  • About this book