Model Theory and Arithmetic

Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80

  • Editors
  • Chantal Berline
  • Kenneth McAloon
  • Jean-Pierre Ressayre

Part of the Lecture Notes in Mathematics book series (LNM, volume 890)

Table of contents

  1. Front Matter
    Pages N2-VI
  2. Anand Pillay
    Pages 1-12
  3. Anand Pillay
    Pages 13-20
  4. Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre
    Pages 25-31
  5. Chantal Berline
    Pages 32-43
  6. Gregory L. Cherlin, Max A. Dikmann
    Pages 111-114
  7. Peter Clote
    Pages 134-142
  8. Kenneth Mc Aloon, Jean-Pierre Ressayre
    Pages 154-184
  9. Angus Macintyre
    Pages 185-197

About these proceedings

Keywords

Arithmetic Finite Modell (Math. Logik) Multiplication Peanosche Arithmetik ordinal theorem

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0095651
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11159-7
  • Online ISBN 978-3-540-38629-2
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book