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

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
  • Olivier Roche
  • Dipl.-Math. Hans Scheuermann
  • Dipl.-Math. Mark Weyer
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
  • Wissenschaftliche Biografie von Ernst Zermelo (1871-1953)
    • Project Manager: Heinz-Dieter Ebbinghaus, Volker Peckhaus (Universität Erlangen)
    • Start/End of project: 01.12.1999 until 30.11.2002
    • Project Details

Scientific publications

Journal Articles:
  • Bernhard Herwig, Martin Ziegler: A Remark on Sums of Units Archiv der Mathematik, 2002; 79: 430-431.
  • Jochen Koenigsmann: Defining transcendentals in function fields Journal of Symbolic Logic, 2002; 67 (3): 947-956.
  • Jochen Koenigsmann: Relatively projective groups as absolute Galois groups Israel Journal of Mathematics, 2002; 127: 93-129.
  • Markus Junker, Ingo Kraus: Theories with equational forking JSL, 2002; 67 (1): 326-340.
  • Martin Grohe: Large finite structures with few L_k-types Inform. and Comput., 2002; 179 (2): 250-278.
  • Olivier Roche, Frank Wagner: Bad fields with a torus of rank 1 preprint, 2002.
  • Yijia Chen, Jörg Flum, Martin Grohe: Bounded Nondeterminism and Alternation in Parameterized Complexity Theory preprint, 2002.
Reviews:
Other publications (type Sonstiges):

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
  • Andreas Schön: Datalog mit bewachten und baumartigen Regeln (Supervisor Jörg Flum, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2002.
  • Dirk Stellmacher: Aufbau der Automorphismengruppe einiger total kategorischer Theorien (Supervisor Martin Ziegler, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2002.
  • Isolde Adler: Spiele als Hilfsmittel zu Strukturuntersuchungen bei Graphen und Hypergraphen (Supervisor Jörg Flum, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2002.
  • Johanna Nicolescu: Die strenge Konsistenzeigenschaft (Supervisor Jörg Flum, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2002.
  • Lars Stieber: Die Einfachheit pseudo-endlicher Körper (Supervisor Martin Ziegler, Secondary Supervisor Jörg Flum), 2002.
  • Til Scheffzik: Die Cliquenweite von Strukturen (Supervisor Jörg Flum, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2002.