Oliver Deiser's Web-site



Contact (FU Berlin)

about me

Teaching     Project: M-Bridge (starting 2009)

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

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

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

Book: 12 x 12 Schlüsselkonzepte zur Mathematik (with Caroline Lasser, Elmar Vogt, Dirk Werner, to appear March 2010 at Spektrum Verlag)

Book: Axiomatische Mengenlehre - Die Architektur von ZFC und die Unabhängigkeit der Kontinuumshypothese (to appear March 2011 at Springer)

Book: Elemente der wissenschaftlichen Mathematik (scheduled for March 2010)

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

|

2 July 2009 | oliver at aleph1.info