Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1969

Principles of Intuitionism

Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Authors:

  1. A. S. Troelstra
    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 chapters)

  1. Front Matter

    Pages I-III
    PDF

  2. Introduction

    • A. S. Troelstra
    Pages 2-4

  3. Logic

    • A. S. Troelstra
    Pages 5-11

  4. Elementary arithmetic

    • A. S. Troelstra
    Pages 12-13

  5. Species

    • A. S. Troelstra
    Pages 14-16

  6. Sequences and constructive (lawlike) objects

    • A. S. Troelstra
    Pages 16-21

  7. Elementary theory of real numbers

    • A. S. Troelstra
    Pages 22-26

  8. Ordering relations and order on the real line

    • A. S. Troelstra
    Pages 26-28

  9. Constructive or lawlike analysis

    • A. S. Troelstra
    Pages 29-33

  10. Lawless sequences of natural numbers

    • A. S. Troelstra
    Pages 34-43

  11. Choice sequences

    • A. S. Troelstra
    Pages 44-56

  12. Spreads and a theory of real numbers

    • A. S. Troelstra
    Pages 57-64

  13. Topology; separable metric spaces

    • A. S. Troelstra
    Pages 64-70

  15. Well-orderings and ordinals

    • A. S. Troelstra
    Pages 76-90

  17. Brouwer's theory of the creative subject

    • A. S. Troelstra
    Pages 95-107

  18. Back Matter

    Pages 108-111
    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Principles of Intuitionism

  • Book Subtitle: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

  • Authors: A. S. Troelstra

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1969

  • Softcover ISBN: 978-3-540-04614-1Published: 01 January 1969

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

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: IV, 116

  • Topics: Mathematics, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation