Diplomandenseminar

Dozenten

Zeit und Ort

Donnerstag 14:15-16:00 Beringstra├če 4 SRA

Programm

  1. October 26, 2006: Alexander Gilbers
    Mutual Stationarity
  2. November 9, 2006: Alexander Gilbers
    Mutual Stationarity
  3. November 30, 2006: Merlin Carl
    A diophantine representation of the proveability predicate
  4. December 14, 2006: Michael Klein
    Ordinal Turing Machines
Last changed December 8, 2006