Institution-independent Model Theory

Authors:

ISBN: 978-3-7643-8707-5 (Print) 978-3-7643-8708-2 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xi

  2. No Access

    Book Chapter

    Pages 1-6

    Introduction

  3. No Access

    Book Chapter

    Pages 7-21

    Categories

  4. No Access

    Book Chapter

    Pages 23-47

    Institutions

  5. No Access

    Book Chapter

    Pages 49-89

    Theories and Models

  6. No Access

    Book Chapter

    Pages 91-119

    Internal Logic

  7. No Access

    Book Chapter

    Pages 121-140

    Model Ultraproducts

  8. No Access

    Book Chapter

    Pages 141-161

    Saturated Models

  9. No Access

    Book Chapter

    Pages 163-188

    Preservation and Axiomatizability

  10. No Access

    Book Chapter

    Pages 189-221

    Interpolation

  11. No Access

    Book Chapter

    Pages 223-233

    Definability

  12. No Access

    Book Chapter

    Pages 235-251

    Possible Worlds

  13. No Access

    Book Chapter

    Pages 253-273

    Grothendieck Institutions

  14. No Access

    Book Chapter

    Pages 275-316

    Institutions with Proofs

  15. No Access

    Book Chapter

    Pages 317-335

    Specification

  16. No Access

    Book Chapter

    Pages 337-350

    Logic Programming

  17. Back Matter

    Pages 351-376