Publications

Norbert Meder with Benjamin Blankertz and Thomas Radermacher, OS/2 für Anwender1, BHV 1988.

Stefan Blankertz and Benjamin Blankertz, Kooperation und Moral im ``Prisoner's Dilemma'', in: Stefan Blankertz, Legitimität und Praxis, Öffentliche Erziehung als pädagogisches, soziales und ethisches Problem, Studien zur Relevanz und Systematik angelsächsischer Schulkritik2, Büchse der Pandora Verlags-GmbH, 233-236, 1988.

Benjamin Blankertz and Andreas Weiermann, How to characterize provably total functions by the Buchholz' operator method, in: P.~Hájek (Ed.), Lecture Notes in Logic 6 (Gödel '96), 205-213.

Benjamin Blankertz, Beweistheoretische Techniken zur Bestimmung von $\Pi^0_2$--Skolem Funktionen3, Dissertation, Münster 1997.

Benjamin Blankertz and Andreas Weiermann, A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of its) subsystems, Studia Logica 62, 399-427, 1999.



1 OS/2 for Users
2 Cooperation and Moral in the ``Prisoner's Dilemma'',  in: Stefan Blankertz, Legitimacy and Practice, public education as pedagogical, social and ethical problem.
3 Proof-theoretic techniques for the determination of $\Pi^0_2$--Skolem functions.
 

Contributions to Conferences and Workshops

Benjamin Blankertz and Andreas Weiermann, How to characterize provably total functions by the Buchholz' operator method, Conference on Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy, Brno 1996.

Benjamin Blankertz, Characterizing Provably Total Functions by Operator Method, Workshop on Proof Theory, Ordinal Analyses and their Applications, Münster 1997.

Hendrik Purwins, Benjamin Blankertz and Klaus Obermayer, Constant Q Profiles and Toroidal Models of Inter-Key Relations, West Coast Conference on Music Theory and Analysis, Stanford 1999.

Benjamin Blankertz, Hendrik Purwins and Klaus Obermayer, Constant Q Profiles and Toroidal Models of Inter-Key Relations, VI. International Conference on Systematic and Comparative Musicology, Oslo 1999.


mail to: <blanker@math.uni-muenster.de go to: dsp-page go to: home-page