Wolfram Pohlers

发表

Ordinal analysis of the formal theory for noniterated inductive definitions

Wolfram Pohlers, 1989 .

Mathematische Grundlagen der Informatik

Wolfram Pohlers, 1993, Handbuch der Informatik.

Ordinals connected with formal theories for transfinitely iterated inductive definitions

Wolfram Pohlers, W. Pohlers, 1978, Journal of Symbolic Logic.

Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory

Arnold Beckmann, Wolfram Pohlers, 1998, Ann. Pure Appl. Log..

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Logic Colloquium, Peter Koepke, Wolfram Pohlers, 2016 .

Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

Wolfram Pohlers, W. Pohlers, 1981, Arch. Math. Log..

Pure proof theory, aims, methods and results

Wolfram Pohlers, 1996, Bull. Symb. Log..

Provable wellorderings of formal theories for transfinitely iterated inductive definitions

Wilfried Buchholz, Wolfram Pohlers, W. Buchholz, 1978, Journal of Symbolic Logic.

Ordinal notations based on a hierarchy of inaccessible cardinals

Wolfram Pohlers, 1987, Ann. Pure Appl. Log..

Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions

Wolfram Pohlers, W. Pohlers, 1980, Arch. Math. Log..

Ordinal analysis of non-monotone I-definable inductive definitions

Wolfram Pohlers, W. Pohlers, 2008, Ann. Pure Appl. Log..

Semi-Formal Calculi and Their Applications

Wolfram Pohlers, W. Pohlers, 2015 .

2004 Summer Meeting of the Association for Symbolic Logic

Wolfram Pohlers, W. Pohlers, 2005, Bulletin of Symbolic Logic.

Editorial Logic Colloquium '95, Haifa, Israel

Gerhard Jäger, Stanley S. Wainer, Wolfram Pohlers, 1998, Arch. Math. Log..

Proof theory and ordinal analysis

Wolfram Pohlers, W. Pohlers, 1991, Arch. Math. Log..

Logic Colloquium '02: Lecture Notes in Logic 27 : Lecture Notes in Logic 27

Peter Koepke, Wolfram Pohlers, Zoe Chatzidakis, 2006 .

Iterated Inductive Definitions Revisited

Wolfram Pohlers, 2017 .

From Subsystems of Analysis to Subsystems of Set Theory

Wolfram Pohlers, W. Pohlers, 2016 .

Proof Theory.Proof Theory: Some Personal Recollections.Contributions of the Schutte School in Munich to Proof Theory.Subsystems of Z 2 and Reverse Mathematics.Proof Theory: A Personal Report

Stephen G. Simpson, Gaisi Takeuti, Solomon Feferman, 1991 .

Ash's theorem for abstract structures

Peter Koepke, Ivan N. Soskov, Wolfram Pohlers, 2016 .

Computable versions of the uniform boundedness theorem

Peter Koepke, Vasco Brattka, Wolfram Pohlers, 2016 .

Proof Theory: An Introduction

Wolfram Pohlers, 1990 .

Provable wellorderings of formal theories for transfinitely iterated inductive definitions

Wilfried Buchholz, Wolfram Pohlers, 1978 .

Martin-Löf random and PA-complete sets

Frank Stephan, Peter Koepke, Wolfram Pohlers, 2016 .