Proof theory. An introduction
type: Item
instance of: scholarly article
title: Proof theory. An introduction
zbMATH Open document ID: 0695.03024
DOI: 10.1007/978-3-540-46825-7
author: Wolfram Pohlers
published in: Lecture Notes in Mathematics
publication date: 1993-06-05T00:00:00Z
review text: This is the fourth view to the massif of proof theory after Schütte's, Takeuti's and Girard's. As in the moutains, different points of view present different impressions. The subheading promises a more elementary access, but already in the preface the author indicates a stereo view, one eye looking basically and the other one more advanced. The general attitude of the author against proof theory is similar to that of S. Feferman described at the beginning of his appendix to the second edition of Takeuti's monograph on proof theory. Pohlers comes from the Munich school of Proof Theory, and therefore it is quite natural that he concentrates upon ordinal analysis of some subsystems of analysis. The philosophical aspects of proof theory in general and of his own procedure are referred to very briefly at the beginning and at the end. Other possible philosophical views of proof theory are neither mentioned nor dealt with. This gives space for a comprehensive motivation of the ideas and methods used. Thus the author covers more and more advanced theories than Girard in his splendid book, avoiding deviations respectively hiding his digressions (especially in the direction of recursion theory) in the exercises. In Chapter I he acquits himself of the duty to deal with pure number theory, but from the beginning he works in a general setting in view of the later use. He introduces infinitary languages and formal systems. In Chapter II the ordinal analysis of predicative analysis is treated. Chapter III is devoted to a formal system \(ID_ 1\) of noniterated inductive definitions and its proof theoretic ordinal. First an introduction to monotone inductive definitions is given. Since this is a tool used throughout in mathematics, but its logical treatment can only be found in advanced literature, it may be interesting for mathematicians not especially engaged in logic to get informed of the role and development of this general device in logic. For the ordinal analysis of \(ID_ 1\)…
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 195069
zbMATH Keywords: proof theory
zbMATH Keywords: ordinal analysis
zbMATH Keywords: subsystems of analysis
zbMATH Keywords: infinitary languages
zbMATH Keywords: formal systems
zbMATH Keywords: predicative analysis
zbMATH Keywords: inductive definitions
reviewed by: Helmut Pfeiffer
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-540-46825-7
OpenAlex ID: W4236380022
description: scientific article; zbMATH DE number 195069