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
Memories of Kurt Schütte and the logic group in Munich: A personal report	2021-12-03	Paper
The Limits of Predicativity Revisited	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
https://portal.mardi4nfdi.de/entity/Q4981456	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
https://portal.mardi4nfdi.de/entity/Q2785483	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
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4742775	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
Ordinals connected with formal theories for transfinitely iterated inductive definitions	1978-01-01	Paper
Provable wellorderings of 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfram Pohlers