Es werden einige Anwendungen der mathematischen Logik dargestellt -- in der Algebra, Topologie,Maßtheorie, etc. Abhängig von der Vorbildung der Teilnehmer werden einige der folgenden Themen behandelt werden:
* Cantors Diagonalbeweis und andere Diagonalisierungen
* Basissatz in der linearen Algebra, Cauchysche Funktionalgleichung, Beziehung zum Auswahlaxiom
* Paradoxon von Banach-Tarski
* Transfinite Induktion in Algebra und Analysis
* Folgerungen aus der Kontinuumshypothese (oder dem Martinschen Axiom)
* Lösbarkeit von Diophantischen Gleichungen (Hilberts 10.Problem, Matijasevich)
* Presburger Arithmetik
* Wortproblem in Halbgruppen und anderen Algebren
* Hilberts Nullstellensatz aus modelltheoretischer Sicht
* Nonstandard Analysis
Vorbesprechung am Dienstag, 5.3.2013 um 17:00 s.t. im "Prüfungs- und Besprechungsraum: Wiedner Hauptstraße 8-10, 5.Stock, grüner Bereich, gegenüber vom Aufzug.