Wolfram Pohlers (2020)

In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte. Cham, Heidelberg: .

Forschungsartikel (Buchbeitrag)

Pohlers, Wolfram (2017)

In: Jäger, Gerhard; Sieg, Wilfried (Hrsg.), Feferman on Foundations. .

Forschungsartikel (Buchbeitrag)

Pohlers, Wolfram (2016)

In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (Hrsg.), Advances in proof theory,. Cham: .

Forschungsartikel (Buchbeitrag)

In: (Hrsg.), .

In: .

Publikationen

The Limits of Predicativity Revisited Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte. Cham, Heidelberg: . Forschungsartikel (Buchbeitrag)
Memories of Kurt Schütte and the Logic Group in Munich: A personal report Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte. Cham, Heidelberg: . Forschungsartikel (Buchbeitrag)
Iterated inductive definitions revisited Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (Hrsg.), Feferman on Foundations. . Forschungsartikel (Buchbeitrag)
Hilbert's programme and ordinal analysis Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (Hrsg.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: . Forschungsartikel (Buchbeitrag)
From subsystems of Analysis to subsystems of set theory Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (Hrsg.), Advances in proof theory,. Cham: . Forschungsartikel (Buchbeitrag)
Semi-formal calculi and their applications Pohlers, Wolfram (2015) In: Kahle, Reinhard; Rathjen, Michael (Hrsg.), Gentzen's centenary. Cham,: . Forschungsartikel (Buchbeitrag)
Provably recursive functions of reflection In: (Hrsg.), .
Proof Theory. The first step into impredicativity
Ordinal analysis of non-monotone Pi-0-1-definable inductive definitions In: .
Logic Colloquium 2002