Dieter Probst

According to our database, Dieter Probst authored at least 9 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

The provably terminating operations of the subsystem PETJ of explicit mathematics.

Dieter Probst

Ann. Pure Appl. Log., 2011

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.

Gerhard Jäger, Dieter Probst

Ann. Pure Appl. Log., 2011

Admissible closures of polynomial time computable arithmetic.

Dieter Probst, Thomas Strahm

Arch. Math. Log., 2011

2008

On contraction and the modal fragment.

Kai Brünnler, Dieter Probst, Thomas Studer

Math. Log. Q., 2008

2006

The proof-theoretic analysis of transfinitely iterated quasi least fixed points.

Dieter Probst

J. Symb. Log., 2006

2005

Corrigendum to "Variation on a theme of Schütte".

Gerhard Jäger, Dieter Probst

Math. Log. Q., 2005

On the relationship between fixed points and iteration in admissible set theory without foundation.

Dieter Probst

Arch. Math. Log., 2005

2004

Variation on a theme of Schütte.

Gerhard Jäger, Dieter Probst

Math. Log. Q., 2004

2001

How to normalize the Jay.

Dieter Probst, Thomas Studer

Theor. Comput. Sci., 2001