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 (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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-8Published: 29 July 1975

  • eBook ISBN: 978-3-540-37495-4Published: 15 November 2006

  • 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 (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions