 | Up a level |
Utzmann, J.; Ferreira, L.; Strasser, N.; Vives, G.; Probst, Dieter; Lievre, N. (October 2018). Optical In-Situ Monitor A Breadboard System to Enable Space-Based Optical Observation of Space Debris. In: 69th International Astronautical Congress. International Astronautical Federation ( IAF )
Probst, Dieter (2017). A modular ordinal analysis of metapredicative subsystems of second order arithmetic. (Habilitation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
Probst, Dieter; Schuster, Peter (eds.) (2016). Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic: Vol. 6. De Gruyter 10.1515/9781501502620
Jäger, Gerhard; Probst, Dieter (2015). A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions. In: Kahle, Reinhard; Rathjen, Michael (eds.) Gentzen's Centenary - The Quest for Consistency (pp. 425-454). Springer 10.1007/978-3-319-10103-3_15
Probst, Dieter (2011). The provably terminating operations of the subsystem (PETJ) of explicit mathematics. Annals of pure and applied logic, 162(11), pp. 934-947. Amsterdam: Elsevier 10.1016/j.apal.2011.04.004
Probst, Dieter; Strahm, Thomas (2011). Admissible closures of polynomial time computable arithmetic. Archive for mathematical logic, 50(5-6), pp. 643-660. Berlin: Springer-Verlag 10.1007/s00153-011-0238-7
Brünnler, Kai; Probst, Dieter; Studer, Thomas (2008). On contraction and the modal fragment. Mathematical logic quarterly, 54(4), pp. 345-349. Weinheim: Wiley-VCH 10.1002/malq.200710043
Probst, Dieter (2006). The proof-theoretic analysis of transfinitely iterated quasi least fixed points. The journal of symbolic logic, 71(3), pp. 721-746. Champaign, Ill.: Cambridge University Press 10.2178/jsl/1154698573
Probst, Dieter (2005). On the relationship between fixed points and iteration in admissible set theory without foundation. Archive for mathematical logic, 44(5), pp. 561-580. Springer-Verlag 10.1007/s00153-004-0251-1
