Oliver Deiser's Web-site on Set Theory and Related Themes



Contact (FU Berlin)

about me

Teaching

"Orte, Listen, Aggregate" (Habilitationsschrift, June 2006)

Book: Einführung in die Mengenlehre - Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo (second edition)

Book: Reelle Zahlen - Das klassische Kontinuum und die natürlichen Folgen (second edition just appeared)

Project with Dieter Donder (LMU Munich) : New edition of the works of Georg Cantor

Bonsai - Prooftrees in natural deduction (Perl/Tk Software) Other software

Some aspects of Set Theory

Cantor's first proof of the uncountability of the reals (original German paper 1874)

Cantor states the Continuum Hypothesis (last two pages from the original German paper 1878)

The axioms of ZFC (German, English, first order sentences)

Some large cardinal axioms (German)

Counting beyond infinity (flash, new version)

History of Set Theory: Pictures

Links



Oliver Deiser

|

3 December 2008 | oliver at aleph1.info