Review: Wolfram Pohlers, Pure Proof Theory. Aims, Methods and Results [Book Review]

Journal of Symbolic Logic 63 (3):1185-1185 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Pure proof theory aims, methods and results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.Solomon Feferman - unknown
Review: Wolfram Pohlers, Proof Theory. An Introduction. [REVIEW]Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (1):358-359.
Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
Subsystems of set theory and second order number theory.Wolfram Pohlers - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 137--209.
Applications of cut-free infinitary derivations to generalized recursion theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
x1. Aims.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
Ordinal analysis of non-monotone-definable inductive definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Ordinal notations based on a hierarchy of inaccessible cardinals.Wolfram Pohlers - 1987 - Annals of Pure and Applied Logic 33 (C):157-179.
Review: Arnold Beckmann, Wolfram Pohlers, Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. [REVIEW]Dag Normann - 2000 - Bulletin of Symbolic Logic 6 (2):221-222.
Normalization without reducibility.René David - 2000 - Annals of Pure and Applied Logic 107 (1-3):121-130.
Ordinal analysis of non-monotone http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007208000924-si1. gif"/>-definable inductive definitions. [REVIEW]Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Intuitionismus vs. Klassik.Wolfram Pohlers - 1998 - Ethik Und Sozialwissenschaften 9:474-476.
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.

Analytics

Added to PP
2013-11-22

Downloads
4 (#1,556,099)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references