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

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. Bernhard Herwig
  • PD Dr. habil Jochen Koenigsmann
  • Dr. Yijia Chen
  • Dr. Markus Junker
  • Dipl.-Math. Markus Frick
  • Dipl.-Math. Ingo Kraus
  • 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:
  • Anand Pillay, Martin Ziegler: Jet spaces of varieties and over differential and difference fields submitted, 2001. : http://home.mathematik.uni-freiburg.de/ziegler/Preprints.html
  • Enrique Casanovas, Daniel Lascar, Anand Pillay, , Martin Ziegler: Galois groups of first order theories JML, 2001; 1 (2): 305-319.
  • Enrique Casanovas, Martin Ziegler: Stable theories with a new predicate JSL, 2001; 66 (3): 1127-1140.
  • Jörg Flum: Tree-decompositions and the model-checking problem Bulletin of the European Association for Theoretical Computer Science, 2001; 73: 78-98.
  • Jörg Flum, Martin Grohe: Fixed-parameter tractability and logic SIAM Journal on Computing, 2001; 31 (1): 113-145.
  • Markus Junker, Daniel Lascar: The indiscernible topology: a mock Zariski topology Journal of Mathematical Logic, 2001; 1 (1): 99-124. : http://ejournals.wspc.com.sg/jml/01/0101/S0219061301000041.html
  • Martin Ziegler: Streng minimale Mengen mit einem Prädikat Preprint, 2001. : http://sunpool.mathematik.uni-freiburg.de/home/ziegler/Preprints.html
  • Yijia Chen: Modelling PGM by P-Automata preprint, 2001.
Reviews:
Book Chapters:
  • Heinz-Dieter Ebbinghaus, Jörg Flum: Mathematics of logic programming In: D. M. Gabbay und F. Guenthner (Hrsg.): Handbook of philosophical logic, Kluwer, 2001; 313-370.
  • Martin Ziegler: Introduction to the Lascar group In: Katrin Tent (Hrsg.): Tits buildings and the model theory of groups LMLNS, 2001; 279-298.
Conference Papers:
  • Yijia Chen, Enshao Shen: Capture complexity by partition Lecture Notes in Computer Science, 2001; 2142: 84-98 (Computer science logic).

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

Dissertations
  • Ingo Kraus: Lokale Stabilität in generischen Modellen (Supervisor Martin Ziegler, Secondary Supervisor Andreas Baudisch), 2001.
  • Markus Frick: Easy Instances for Model-Checking (Supervisor Martin Grohe, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2001.
Degree Dissertations
  • Bernd Kapp: Über gewisse Klassen von mehrfach bewerteten Körpern (Supervisor Martin Ziegler, Secondary Supervisor Alexander Prestel), 2001.
  • Marco Ragni: Sigma-1-1 in der metafiniten Modeltheorie (Supervisor Heinz-Dieter Ebbinghaus, Secondary Supervisor Jörg Flum), 2001.




Guest Scientists:

  • Prof. David Evans, University of East Anglia, Norwich, Großbritannien, 19.02.2001 bis 02.03.2001