Skip to main content
  • Conference proceedings
  • © 1972

Toposes, Algebraic Geometry and Logic

Dalhousie University, Halifax, January 16-19, 1971

Editors:

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

Buying options

eBook USD 29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.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 (8 papers)

  1. Front Matter

    Pages i-vi
  2. Introduction

    • F. William Lawvere
    Pages 1-12
  3. Sheaf theory and the continuum hypothesis

    • Myles Tierney
    Pages 13-42
  4. Classifying topos

    • Jean Giraud
    Pages 43-56
  5. The formalization of Bishop's constructive mathematics

    • Nicolas D. Goodman, John Myhill
    Pages 83-96
  6. Continuous lattices

    • Dana Scott
    Pages 97-136
  7. Back Matter

    Pages 191-192

Keywords

  • Algebraic
  • Logic
  • algebra
  • calculus
  • geometry
  • mathematics

Bibliographic Information

  • Book Title: Toposes, Algebraic Geometry and Logic

  • Book Subtitle: Dalhousie University, Halifax, January 16-19, 1971

  • Authors: I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney

  • Editors: F. W. Lawvere

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1972

  • Softcover ISBN: 978-3-540-05920-2Published: 09 August 1972

  • eBook ISBN: 978-3-540-37609-5Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 193

  • Topics: Mathematics

Buying options

eBook USD 29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.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