[Zurück]
 
Please choose
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Research Report for 2003

Abteilung für Mathematische Logik

Eckerstraße 1
79104 Freiburg i. Br.
Tel: 0761 203 5602
Email ricarda.samek@math.uni-freiburg.de
http://logik.mathematik.uni-freiburg.de/


Scientific Employees

  • Prof. Dr. Heinz-Dieter Ebbinghaus
  • Prof. Dr. Jörg Flum
  • Prof. emeritus Dr. Hans Hermes
  • Prof. Dr. Martin Ziegler
  • PD Dr. habil Jochen Koenigsmann
  • Dr. Yijia Chen
  • Dr. Markus Junker
  • Dr. Mihai Prunescu
  • Olivier Roche
  • Dipl.-Math. Hans Scheuermann
  • Dipl.-Math. Mark Weyer
  • Dipl.-Math. Isolde Adler
  • Dipl.-Math. Bijan Afshordel
  • Dipl.-Math. Frank Laubner
Entries in "Who is Who"

Main Research

  • Logik
  • Modelltheorie
  • endliche Modelltheorie und deskriptive Komplexitätstheorie
  • Stabilitätstheorie und geometrische Modelltheorie
  • algebraische Modelltheorie, bewertete Körper, Arithmetik

Scientific and Research Projects


  • Aachen-Freiburg-Mainz-Seminar
    • Project Manager: Prof. Dr. H.-D. Ebbinghaus, Prof. Dr. Jörg Flum, PD Dr. Martin Grohe
    • Start/End of project: since 1995
    • Project Details

Scientific publications

Journal Articles:
  • Bernhard Herwig, Ehud Hrushovski, Dugald Macpherson: Interpretable groups, stably embedded sets, and Vaughtian Pairs Journal of the London Mathematical Society, 2003; 68 (1): 1-11.
  • Heinz-Dieter Ebbinghaus: Zermelo: definiteness and the universe of definable sets History and Philosophy of Logic, 2003; 24: 197-219.
  • Ingo Kraus: A global consequence of local symmetry erscheint im: Archiv of Mathematical logic, 2003. : http://logik.mathematik.uni-freiburg.de/preprints.html
  • Jochen Koenigsmann: Encoding valuations in absolute Galois groups Fields Institute Communications, 2003; 33: 107-132.
  • Jörg Flum: Descriptive complexity theory Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia, 2003; 18 (46): 47-58.
  • Jörg Flum, Martin Grohe: Describing parameterized complexity classes Information and Computation, 2003; 187 (2): 291-319.
  • Martin Ziegler: Separably closed fields with Hasse derivations JSL, 2003; 68 (1): 311-318.
  • Mihai Prunescu: Diophantine properties of finite commutative rings Archive for Mathematical Logic, 2003; 42 (3): 293-302.
  • Mihai Prunescu: P\neq NP for all infinite Boolean algebras Mathematical Logic Quarterly, 2003; 49 (2): 210-213.
  • Yijia Chen, Jörg Flum: Machine Characterizations of the Classes of the W-hierarchy preprint, 2003.
  • Yijia Chen, Jörg Flum: On Miniaturized Problems in Parameterized Complexity Theory preprint, 2003.
Reviews:

Special Scientific Activities

Ehrung:
  • Heinz-Dieter Ebbinghaus: Honorar-Professur an der Mathematischen Fakultät der Beijing Normal University, seit 1990.
Herausgeberschaften:
  • Heinz-Dieter Ebbinghaus: Mitherausgeber des "Archive of Mathematical Logic", seit 1990.
  • Martin Ziegler: Mitherausgeber des "Archive of Mathematical Logic", seit 1990.
Veranstaltung:
  • Bernhard Herwig: Reviewer der Mathematical Reviews, seit 01.09.1999.
  • Jörg Flum: Reviewer des Zentralblattes, seit 1990.
  • Markus Junker: Reviewer der Mathematical Reviews, seit 01.04.2000.

Scientific Dissertations

Degree Dissertations
  • Moritz Müller: Konstruktionsprobleme beim Model-Checking (Supervisor Jörg Flum, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2003.
  • Nina Frohn: Unbeschränkte PAC-Körper sind nicht einfach (Supervisor Martin Ziegler, Secondary Supervisor Jochen Königsmann), 2003.
  • Ulrich Schmitt: Beschränkte PAC-Strukturen (Supervisor Martin Ziegler, Secondary Supervisor Jörg Flum), 2003.