Diplomandenseminar
Dozenten
Zeit und Ort
Donnerstag 14:15-16:00 Beringstraße 4 SRA
Programm
- October 26, 2006: Alexander Gilbers
Mutual Stationarity
- November 9, 2006: Alexander Gilbers
Mutual Stationarity
- November 30, 2006: Merlin Carl
A diophantine representation of the proveability predicate
- December 14, 2006: Michael Klein
Ordinal Turing Machines
Last changed December 8, 2006