✦ LIBER ✦

Proof Theory: An Introduction

✍ Scribed by Wolfram Pohlers (auth.)

Book ID: 127451771
Publisher: Springer
Year: 1989
Tongue: English
Weight: 10 MB
Edition: 1
Category: Library
City: Berlin; New York
ISBN: 3540468250
DOI: 10.1007/978-3-540-46825-7

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Subjects

Mathematical Logic and Foundations

📜 SIMILAR VOLUMES

Proof Theory. An Introduction

✍ Cantini, Andrea; Pohlers, Wolfram 📂 Article 📅 1993 🏛 Association for Symbolic Logic 🌐 English ⚖ 321 KB

Proof Theory. An Introduction

✍ Wolfram Pohlers, Pohlers 📂 Library 📅 1989 🏛 Springer 🌐 English ⚖ 2 MB

Set Theory. An Introduction to Independe

Set Theory. An Introduction to Independence Proofs

✍ Kenneth Kunen 📂 Library 📅 1983 🏛 North Holland 🌐 English ⚖ 2 MB

Paperback. Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is ho

A First Course in Logic: An Introduction

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

✍ Shawn Hedman 📂 Library 📅 2004 🏛 Oxford University Press, USA 🌐 English ⚖ 2 MB

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classic

Game Theory (An Introduction) || Introdu

Game Theory (An Introduction) || Introduction

✍ Barron, E.N. 📂 Article 📅 2013 🏛 John Wiley & Sons, Inc. ⚖ 53 KB

CONJECTURING AS AN INITIAL INTRODUCTION

CONJECTURING AS AN INITIAL INTRODUCTION TO PROOF

✍ Michael de Villiers 📂 Article 📅 1998 🏛 National Council of Teachers of Mathematics ⚖ 442 KB