Oliver Deiser's Homepage

Dr. Oliver Deiser
Institute of Mathematics
Ludwig-Maximilians-Universität
Theresienstraße 39
D-80333 München
Federal Republic of Germany

Tel: +49 89 2180 4617

Tel: (089) 2180 4617

Email: deiser@mathematik.uni-muenchen.de
Room: 424
Office hour: Mo 13 - 14

Curriculum Vitae

1971 (June 18) born in Munich
1981 - 1990 Humanistisches Gymnasium (classical education)
1990 Abitur (German high school graduation)
1990 - 1991 Civil Service (15 months, individual care of disabled persons)
1991 - 1995 study of mathematics and theoretical physics at the LMU Munich
Diploma thesis in Set Theory (Results of Shelah's pcf-theory (in German))
1998/99 visiting scholar at the HU Berlin for three months (set theory research group of Ronald Jensen)
1999 Ph.D. in Set Theory (LMU Munich). Dissertation: Inquiries on the core model for measures of order zero (in German)
since November 1999 scientific assistant (C1) at the Lehrstuhl für Mathematische Logik of the University of Munich
March 2002 - June 2003 visiting scholar at UC Berkeley; scholarship granted by the Alexander von Humboldt foundation.

------------------------------------------------------------------------------------
I'm now at FU Berlin. This page will move shortly.
New e-mail address: deiser --at-- math.fu-berlin.de
(Old Munich e-mail is fine, too.)
------------------------------------------------------------------------------------

Scientifically influenced by: Dieter Donder, Otto Forster, Hans-Otto Georgii, Ronald Jensen, John Steel, Herbert Wagner.

Mathematical interests: Set Theory, Logic, Probability Theory, Number Theory
Other interests: Literature, Greek philosophy and mythology, games

Some aspects of set theory (html-page)

Scientific publications

Resultate der pcf-Theorie (diploma thesis)
Untersuchungen über das Kernmodell für Maße der Ordnung Null (dissertation)
Commutativity in the core model theory MO (part 1)
Commutativity in the core model theory MO (part 2) (submitted)
A note on derived iterates (in preparation)
Canonical functions, nonregular ultrafilters and Ulam's problem on omega_1 (32 pages) with H.-D. Donder
Journal of Symbolic Logic 2003

Notes on the Polish Algorithm
Software for Left Distributivity, the Polish Algorithm and Laver Tables (written in perl, perl/tk) :
1. Polish Algorithm : termcomparison.pl (perl) screenshot 1 screenshot 2
2. Left Distributivity : ldtk.pl (perl/tk) screenshot
3. Laver Tables : lavertk.pl (perl/tk) screenshot 1 screenshot 2

Der Multiplikationssatz der Mengenlehre (German, pdf-file, appeared in Jahresberichte der DMV 2/2005
Long version with proofs (German, pdf-file)

New expanded edition March 2004.

Einführung in die Mengenlehre. Erste Auflage. 338 Seiten. Springer, März 2002, nicht mehr lieferbar.
(Introduction to Set Theory. First edition. 338 pages. Springer, March 2002, out of print.)
Click here for a list of Errata of the first edition (ps-version). (pdf-version)

Einführung in die Mengenlehre. Zweite, erweiterte und korrigierte Auflage. 551 Seiten. Springer, März 2004.
(Introduction to Set Theory (in German). Second edition, expanded and corrected. 551 pages. Springer, March 2004.)
Click here or on the cover for more information (in German).
This book has been composed with TypoScript. Typesetting by the author.

Bonsai - Prooftrees in natural deduction. A graphical and interactive program.

Generally intelligible publications

Set Theory (5 pages, in German)
Do you happen to know omega_1? (10 pages, in German) (appeared in the bulletin of the DMV (DMV-Mitteilungen) 1/2001)
Footnotes to this paper (4 pages, in German)
The infinite in mathematics (part 1) (15 pages, in German) (pdf-file)
The infinite in mathematics (part 2) (19 pages, in German) (pdf-file)
(the last two items contain the slides of the talk in the lecture-series "Mathematik am Samstag 2001" May 16, 2001)
The picture on the right hand side is linked to my html-page discussing some basics of set theory, including some graphics.

The basic axioms of Set Theory

List of the ZFC-axioms (1 page, in German)
the ZFC-axioms, annotated (14 pages, in German)

New axioms

Here is a "flip-book" of large cardinal axioms (in German).

Combinatorial principles on omega_1

Collection (in German) of some combinatorial principles on omega_1 with actual bounds on their consistency strength, including a chart of implications.