Skip to main content
  • Conference proceedings
  • © 1975

Model Theory and Topoi

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

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-37495-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.95
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (10 papers)

  1. Front Matter

    Pages i-2
  2. Introduction to Part I

    • F William Lawvere
    Pages 3-14
  3. Abstract Horn theories

    • Orville Keane
    Pages 15-50
  4. Internal categories and classification theorems

    • P. T. Johnstone
    Pages 103-113
  5. Lectures on elementary topoi

    • G. C. Wraith
    Pages 114-206
  6. Some topos theoretic concepts of finiteness

    • A. Kock, P. Lecouturier, C. J. Mikkelsen
    Pages 209-283
  7. Universes in topoi

    • Christian Maurer
    Pages 284-296
  8. Back Matter

    Pages 355-356

Keywords

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

Bibliographic Information

  • Book Title: Model Theory and Topoi

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

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0061290

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07164-8

  • eBook ISBN: 978-3-540-37495-4

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VI, 358

  • Topics: Topology

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-37495-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.95
Price excludes VAT (USA)