Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschnittene Beweise aus der Berechenbarkeitstheorie unabhängig durchzuführen und dafür verschiedene vorgetragene Theoreme anzuwenden.
Advanced results from computability theory. Finite and infinite injury constructions, comoutability-theoretic forcing, recent comoutability-theoretic results.
Vorlesung und selbständige Arbeit
Mündliche Prüfung
Nicht erforderlich
Das ist eine LVA für fortgeschrittene Studierende. Kenntnisse der Grundlagen der Berechenbarkeitstheorie, mindestens bis zu Friedberg-Muchnik Theorem, sind vorausgesetzt.