𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof Theory. An Introduction

✍ Scribed by Wolfram Pohlers, Pohlers

Book ID
127455026
Publisher
Springer
Year
1989
Tongue
English
Weight
2 MB
Series
Lecture Notes in Mathematics
Edition
LNM1407, Springer
Category
Library
ISBN-13
9783540518426

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.

πŸ“œ SIMILAR VOLUMES

Proof Theory. An Introduction
Proof Theory. An Introduction
✍ Cantini, Andrea; Pohlers, Wolfram πŸ“‚ Article πŸ“… 1993 πŸ› Association for Symbolic Logic 🌐 English βš– 321 KB
Proof Theory: An Introduction
Proof Theory: An Introduction
✍ Wolfram Pohlers (auth.) πŸ“‚ Library πŸ“… 1989 πŸ› Springer 🌐 English βš– 10 MB

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 ele

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