1. Pohlers and The Problem. I first met Wolfram Pohlers at a workshop on proof theory organized by Walter Felscher that was held in Tübingen in early April, 1973. Among others at that workshop relevant to the work surveyed here were Kurt Schütte, Wolfram’s teacher in Munich, and Wolfram’s fellow student Wilfried Buchholz. This is not meant to slight in the least the many other fine logicians who participated there.2 In Tübingen I gave a couple of survey lectures on results and problems in proof theory that had been occupying much of my attention during the previous decade. The following was the central problem that I emphasized there: The need for an ordinally informative, conceptually clear, proof-theoretic reduction of classical theories of iterated arithmetical inductive definitions to corresponding constructive systems. As will be explained below, meeting that need would be significant for the then ongoing efforts at establishing the constructive foundation for and proof-theoretic ordinal analysis of certain impredicative subsystems of classical analysis. I also spoke in Tübingen about.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Pure Proof Theory Aims, Methods and Results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
Does Reductive Proof Theory Have a Viable Rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
Generalizations of the Kruskal-Friedman Theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo.Gerhard Jäger - 2001 - Journal of Symbolic Logic 66 (3):1073-1089.
Mathematical Proof Theory in the Light of Ordinal Analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Added to index2009-08-29
Total downloads76 ( #64,979 of 2,132,909 )
Recent downloads (6 months)2 ( #287,846 of 2,132,909 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.