Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Probst, Dieter"'
Autor:
Jäger, Gerhard, Probst, Dieter
Publikováno v:
In Annals of Pure and Applied Logic 2011 162(8):647-660
Autor:
Probst, Dieter
Publikováno v:
The Journal of Symbolic Logic, 2006 Sep 01. 71(3), 721-746.
Externí odkaz:
https://www.jstor.org/stable/27588478
The goals of the ESA project "Optical In-Situ Monitor" are to design and integrate a breadboard of a space-based space debris camera and to develop and test its end-to-end processing chain. The corresponding future flight model shall be used for the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2aa7a01ad58ebf542dbe6894796e27a
Autor:
Probst, Dieter1 Dieter.Probst@mathematik.uni-muenchen.de, Strahm, Thomas2 strahm@iam.unibe.ch
Publikováno v:
Archive for Mathematical Logic. Jun2011, Vol. 50 Issue 5/6, p643-660. 18p.
Publikováno v:
Mathematical Logic Quarterly. Jul2008, Vol. 54 Issue 4, p345-349. 5p.
Autor:
Probst, Dieter1
Publikováno v:
Archive for Mathematical Logic. Jul2005, Vol. 44 Issue 5, p561-580. 20p.
Autor:
Jäger, Gerhard1 jaeger@iamunibe.ch, Probst, Dieter1 probst@iam.unibe.ch
Publikováno v:
Mathematical Logic Quarterly. May2004, Vol. 50 Issue 3, p258-264. 7p.
Autor:
Probst, Dieter
Publikováno v:
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)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10ddedb5eb858158f0ff835e4623df62
Autor:
Probst Dieter
Publikováno v:
Annals of Pure and Applied Logic
In Spescha and Strahm (2009) [15], a system PET of explicit mathematics in the style of Feferman (1975, 1978) [6,7] is introduced, and in Spescha and Strahm (in press) [16] the addition of the join principle to PET is studied. Changing to intuitionis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15bf2c44fe92f82c6d7897b996963d51
http://www.iam.unibe.ch/ltg/publications/pubitems/pro11
http://www.iam.unibe.ch/ltg/publications/pubitems/pro11
Publikováno v:
META: Tijdschrift voor Bibliotheek & Archief. 2019, Vol. 95 Issue 5, p10-15. 6p.