Model Theory and Topoi

A Collection of Lectures by Various Authors

  • Editors
  • F. William Lawvere
  • Christian Maurer
  • Gavin C. Wraith

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

Table of contents

  1. Front Matter
    Pages i-2
  2. F William Lawvere
    Pages 3-14
  3. Orville Keane
    Pages 15-50
  4. P. T. Johnstone
    Pages 103-113
  5. G. C. Wraith
    Pages 114-206
  6. A. Kock, P. Lecouturier, C. J. Mikkelsen
    Pages 209-283
  7. Christian Maurer
    Pages 284-296
  8. Back Matter
    Pages 355-356

About these proceedings

Keywords

Finite Logic Topos boundary element method classification language model theory semantics set theorem tool

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0061290
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07164-8
  • Online ISBN 978-3-540-37495-4
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book