Extensional Gödel Functional Interpretation

A Consistency Proof of Classical Analysis

  • Authors
  • Horst Luckhardt

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

Table of contents

  1. Front Matter
    Pages I-VI
  2. Horst Luckhardt
    Pages 1-12
  3. Horst Luckhardt
    Pages 13-27
  4. Horst Luckhardt
    Pages 28-40
  5. Horst Luckhardt
    Pages 120-128
  6. Horst Luckhardt
    Pages 134-136
  7. Back Matter
    Pages 157-161

About this book

Keywords

Arithmetic calculus differential equation function proof

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0060871
  • Copyright Information Springer-Verlag Berlin Heidelberg 1973
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-06119-9
  • Online ISBN 978-3-540-38283-6
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book