Dieter Probst

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Dieter Probst
The provably terminating operations of the subsystem PETJ of explicit mathematics. Ann. Pure Appl. Log. 162 (11) (2011)
Gerhard Jäger, Dieter Probst
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. 162 (8) (2011)
Dieter Probst, Thomas Strahm
Admissible closures of polynomial time computable arithmetic. Arch. Math. Log. 50 (5-6) (2011)
Kai Brünnler, Dieter Probst, Thomas Studer
On contraction and the modal fragment. Math. Log. Q. 54 (4) (2008)
Dieter Probst
The proof-theoretic analysis of transfinitely iterated quasi least fixed points. J. Symb. Log. 71 (3) (2006)
Gerhard Jäger, Dieter Probst
Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51 (6) (2005)
Dieter Probst
On the relationship between fixed points and iteration in admissible set theory without foundation. Arch. Math. Log. 44 (5) (2005)
Gerhard Jäger, Dieter Probst
Variation on a theme of Schütte. Math. Log. Q. 50 (3) (2004)
Dieter Probst, Thomas Studer
How to normalize the Jay. Theor. Comput. Sci. 254 (1-2) (2001)