D. Probst

Available identifiers

zbMath Open probst.dieterMaRDI QIDQ619319

List of research outcomes

Publication	Date of Publication	Type
A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions	2017-09-27	Paper
The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories	2011-09-22	Paper
Admissible closures of polynomial time computable arithmetic	2011-08-16	Paper
On contraction and the modal fragment	2008-08-15	Paper
The proof-theoretic analysis of transfinitely iterated quasi least fixed points	2006-11-29	Paper
On the relationship between fixed points and iteration in admissible set theory without foundation	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4663832	2005-04-04	Paper
Variation on a theme of Schütte	2004-08-06	Paper
How to normalize the Jay	2001-08-20	Paper

Research outcomes over time

This page was built for person: D. Probst