Wolfram Pohlers

Available identifiers

zbMath Open pohlers.wolframMaRDI QIDQ930617

List of research outcomes

Publication	Date of Publication	Type
On the Performance of Axiom Systems	2022-12-13	Paper
The Limits of Predicativity Revisited	2021-12-03	Paper
Memories of Kurt Schütte and the logic group in Munich: A personal report	2021-12-03	Paper
From subsystems of analysis to subsystems of set theory	2020-08-07	Paper
Hilbert’s Programme and Ordinal Analysis	2020-04-03	Paper
Iterated inductive definitions revisited	2020-02-05	Paper
Semi-formal calculi and their applications	2017-09-27	Paper
Provably recursive functions of reflection	2014-06-24	Paper
Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions	2008-12-05	Paper
Proof theory. The first step into impredicativity	2008-07-01	Paper
In Memoriam: Kurt Schütte 1909–1998	2000-12-28	Paper
https://portal.mardi4nfdi.de/entity/Q4215633	2000-07-13	Paper
Applications of cut-free infinitary derivations to generalized recursion theory	1999-11-15	Paper
Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa	1997-05-12	Paper
Mathematical foundations of computer science	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q3138827	1993-11-11	Paper
Proof theory. An introduction	1993-06-05	Paper
Proof theory and ordinal analysis	1991-01-01	Paper
Ordinal notations based on a hierarchy of inaccessible cardinals	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773877	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3041187	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4742775	1982-01-01	Paper
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions	1982-01-01	Paper
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies	1981-01-01	Paper
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1	1981-01-01	Paper
Provable wellorderings of formal theories for transfinitely iterated inductive definitions	1978-01-01	Paper
Ordinals connected with formal theories for transfinitely iterated inductive definitions	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4120570	1975-01-01	Paper
Ein starker Normalisationssatz für die intuitionistische Typentheorie	1973-01-01	Paper

Research outcomes over time

This page was built for person: Wolfram Pohlers