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

Proof Theory

An Introduction

Authors:

  1. Wolfram Pohlers

    1. Institut für Mathematische Logik und Grundlagenforschung, Westfälische Wilhelms-Universität, Münster, Germany

    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 1407)

Sections

Buy it now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
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, access via your institution.

Table of contents (4 chapters)

  1. Front Matter

    Pages I-VIII
    PDF

  2. Introduction

    Pages 1-6

  6. Back Matter

    Pages 187-213
    PDF
Back to top

About this book

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.
Back to top

Keywords

  • calculus
  • number theory
  • proof
  • proof theory
Back to top

Authors and Affiliations

  • Institut für Mathematische Logik und Grundlagenforschung, Westfälische Wilhelms-Universität, Münster, Germany

    Wolfram Pohlers

Back to top

Bibliographic Information

  • Book Title: Proof Theory

  • Book Subtitle: An Introduction

  • Authors: Wolfram Pohlers

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/978-3-540-46825-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Softcover ISBN: 978-3-540-51842-6Published: 25 October 1989

  • eBook ISBN: 978-3-540-46825-7Published: 10 June 2009

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 220

  • Topics: Mathematical Logic and Foundations, Number Theory

Back to top
Access via your institution

Buy it now

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