Diese Vorlesung wird auf Englisch gehalten.
This lecture course will be given in Englisch.
Contact: Jakob Kellner, Kurt Gödel Research Center for Mathematical Logic at the University of Vienna.
Time: TUE, 15:15-16:45
(first lecture: march 3)
Place: KGRC Seminar room.
Contents: advanced topics in descriptive set theory (interplay between set theory and recursion theory).
We use the book:
Mansfield, Weitkamp: Recursive aspects of descriptive set theory
Oxford Logic Guides, 11. The Clarendon Press, Oxford University Press,
New York, 1985. vii+144 pp. ISBN: 0-19-503602-6
Good knowledge in set theory is required (including forcing), as well as basic knowledge in recursion theory.