Sektion 16

Logik / Theoretische Informatik



Oliver Deiser, LMU München, Math. Institut
Untere Konsistenzschranken für einige kombinatorische Prinzipien auf _O_1
Donnerstag, 21.09.2000, 16.30–16.50 Uhr, WIL C 307

Manfred Droste, TU Dresden
Aperiodische und sternfreie formale Potenzreihen
Dienstag, 19.09.2000, 14.00–14.20 Uhr, WIL C 307

Stefan Geschke, Freie Universität Berlin
An Axiom Capturing the Combinatorics in Cohen Models
Donnerstag, 21.09.2000, 15.00–15.20 Uhr, WIL C 307

Dietrich Kuske, TU Dresden, Institut für Algebra
Monadisch axiomatisierbare Mengen unendlicher N-freier Ordnungen
Dienstag, 19.09.2000, 14.30–14.50 Uhr, WIL C 307

Remi Morin, TU Dresden, Institut für Algebra
Pomsets for Local Trace Languages: Recognizability, Logic & Petri Nets
Dienstag, 19.09.2000, 15.00–15.20 Uhr, WIL C 307

Karsten Steffens, Universität Hannover, Institut für Mathematik
Shelahs pcf Theorie
Donnerstag, 21.09.2000, 14.00–14.50 Uhr, WIL C 307

Frank Stephan, Universität Heidelberg, Mathematisches Institut
Entschiedenes Lernen
Donnerstag, 21.09.2000, 16.00–16.20 Uhr, WIL C 307

Heribert Vollmer, Universität Würzburg
Holographische Beweise und Approximierbarkeit von Mobilfunkproblemen
Dienstag, 19.09.2000, 16.00–16.20 Uhr, WIL C 307

Andreas Weiermann, Universität Münster, Institut für Mathematische Logik
An independence result for first order Peano arithmetic via Polya style enumeration
Donnerstag, 21.09.2000, 17.00–17.20 Uhr, WIL C 307



 * als PS-Datei *   * als PDF-Datei *