Publications (last update 2004) / Veröffentlichungen (Stand 2004)

1. Konditional-Verbände [Conditional Lattices (German)].
   Seminarberichte aus dem Fachbereich Mathematik,
   FernUniversität in Hagen. 68. III (1999), 519 - 521.

   kondverb.dvi

   kondverb.ps

   kondverb.pdf

   
   
   
2. On Conway Numbers and Generalized Real Numbers.
   Ulrich Berger / Horst Oswald / Peter Schuster (eds):
   Reuniting the Antipodes.
   Kluwer Academic Publishers, Dordrecht 2001, 211 - 227.

   conwnumb.dvi

   conwnumb.ps

   conwnumb.pdf

   
   
   
3. A Constructive Approach to Conway's Theory of Games and Numbers.
   Seminarberichte aus dem Fachbereich Mathematik,
   FernUniversität Hagen. 70 (2001), 1 - 18.

   conwthy.dvi

   conwthy.ps

   conwthy.pdf

   
   
4. Semiquadratische Algebren [Semiquadratic algebras (German)]
   Dissertation, FernUniversität Hagen 2002.

   Diss2003.dvi

   Diss2003.ps

   Diss2003.pdf

   
   
5. Zufällige Binärfolgen und zufällige reelle Zahlen.
   Erscheint in den Seminarberichten aus dem FachBereich Mathematik,
   FernUniversität Hagen.

   Zufall04.dvi

   Zufall04.ps

   Zufall04.pdf

 

Presentations/Vorträge

 

1. DMV-Tagung, Rostock 2003,
   Minisymposium Constructivity in Analysis and Topology:
   Formalizing Bishop Style Constructive Mathematics with Martin-Löf's Type Theory.
   

   rostock2003.dvi

   rostock2003.ps

   rostock2003.pdf