250128 VO Recursion Theory (2009S)

Dienstag 15:15-16:45, Seminarraum des KRC (Währinger Strasse 25)

Eine Vorlesung für fortgeschrittene Studierende der Mathematischen Logik.

Vorausgesetzt werden Kenntnisse der elementaren Logik und Theorie der Berechenbarkeit sowie der Mengenlehre (inklusive L und forcing).

Siehe http://www.logic.univie.ac.at/~kellner/teaching/2009SS_recursion/