Scholz-Nachlass

Im Rahmen eines DFG-Projektes wird der Scholz-Nachlass, der sich zum großen Teil am Institut befindet, archivarisch aufgearbeitet und wissenschaftshistorisch ausgewertet. Besondere Aufmerksamkeit finden dabei Scholz' Bemühungen um eine Herausgabe des vorlorgengegangenen Frege-Nachlasses sowie Scholz' zahlreiche Kontakte zu führenden Logikern seiner Zeit. Das Projekt wird fortgesetzt.

Drittmittelgeber:

Deutsche Forschungsgemeinschaft

Beteiligte Wissenschaftler:

Prof.Dr. J. Diller, Prof.Dr. W. Pohlers, H.-C. Schmidt am Busch, Dr. K.F. Wehmeier

Veröffentlichungen:

Burr,W., V. Hartung: A characterization of the Sigma_1-definable functions of KP omega + (uniform AC), Archive for Mathematical Logic 37 (1998), S. 199-214

Burr, W.: A Diller-Nahm style functional interpretation of KP omega, Münster 1998 (dem Archive for Mathematical Logic eingereicht)

Burr, W.: Fragments of Heyting Arithmetic, erscheint im Journal of Symbolic Logic

Burr, W.: Functional Interpretation of Aczel's Constructive Set Theory, 1998 (zur Veröffentlichung in den Annals of Pure and Applied Logic angenommen)

Burr, W.: Functionals in Set Theory and Arithmetic, Dissertation, Münster 1998

Folkerts, E.: Invertibility in Lambda-Eta, erscheint in LICS '98

Gellern, F.: Eine klassische Version der Diller-Nahm-Interpretation der Arithmetik, Diplomarbeit, Münster 1997

Wehmeier, K.F.: Fragments of HA based on Sigma_1-induction, Archive for Mathematical Logic 37 (1997), S. 37-49

Wehmeier, K.F.: Aspekte der Frege-Hilbert-Korrespondenz, History and Philosophy of Logic 18, No. 4 (1997), S. 201-209

Wehmeier, K.F.: Constructing Kripke Models of certain Fragments of Heyting's Arithmetic, Publications de l'Institut Mathématique N.S. (1998), S. 1-8

Wehmeier, K.F., H.-C. Schmidt am Busch: Auf der Suche nach Freges Nachlaß, erscheint im Tagungsband zur Jenaer Frege-Konferenz 1998

Weiermann, A.: A strongly uniform termination proof for Gödel's T by methods from local predicativity, Archive for Mathematical Logic 36, 6 (1997), S. 445-460

Weiermann, A.: How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study, Journal of Symbolic Logic 63, No. 4 (1998), S.1348-1370

Wiengarn, W.: Korrektheit und Vollständigkeit illativer Systeme für Aussagen- und Prädikatenlogik erster Stufe, Diplomarbeit, Münster 1998