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

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. Martin Grohe
  • PD Dr. Bernhard Herwig
  • Dr. Markus Junker
  • Dipl.-Math. Matthias Clasen
  • Dipl.-Math. Markus Frick
  • Dipl.-Math. Ingo Kraus
  • Dipl.-Math. Hans Scheuermann
  • Dipl.-Math. Mark Weyer
  • Julian Mariño
Entries in "Who is Who"

Main Research

  • Logik
  • Modelltheorie
  • endliche Modelltheorie und deskriptive Komplexitätstheorie
  • Stabilitätstheorie und geometrische Modelltheorie

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
  • Projektbezogener Personenaustausch mit Finnland über "Generalized Quantifiers and Finite Model Theory"
    • Project Manager: Prof. Dr. H.-D. Ebbinghaus
    • Start/End of project: 1998 until 2000
    • 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, Daniel Lascar: Extending partial automorphisms and the profinite topology on free groups Transactions of the AMS, 2000; 352 (5): 1985-2021.
  • Bernhard Herwig, Dugald Macpherson, Gary Martin, Abyz Nurtazin, John Truss: On omega-categorical weakly o-minimal structures Annals of Pure and Applied Logic, 2000; 101: 65-93.
  • Jörg Flum: Logical aspects of computational complexity Butl. Soc. Catalana Mat., 2000; 15 (2): 27-35.
  • Jörg Flum: Games, kernels, and antitone operation Order, 2000; 17 (1): 61-73.
  • Jörg Flum, Martin Grohe: On fixed-point logic with counting Journal of Symbolic Logic, 2000; 65 (2): 777-787.
  • Jörg Flum, Max Kubierschky, Bertram Ludäscher: Games and total Datalog queries Theoretical Computer Science, 2000; 239 (2): 257-276.
  • Markus Junker: A note on equational theories JSL, 2000; 65 (4): 1705-1712. (in Druck)
  • Markus Junker: Des topologies dans les groupes stables Reports Institut Mittag-Leffler 21, 2000. : http://www.ml.kva.se/preprints/meta/Thu_May_17_12_54_58_JunkerThu_May_17_12_41_31.rdf.html
  • Martin Grohe: Local tree-width, excluded minors, and approximation algorithms, Preprint, 2000.
  • Martin Grohe: Isomorphism testing for embeddable graphs through definability (to appear), 2000.
  • Martin Grohe, Luc Segoufin: On first-order topological queries (to appear), 2000.
  • Martin Grohe, Thomas Schwentick: Locality of order-invariant first-order formulas ACM Trans. Comput.Log, 2000; 1 (1): 112-130.
  • Martin Ziegler: A note on bounded hyperimaginaries Preprint, 2000. : http://sunpool.mathematik.uni-freiburg.de/home/ziegler/Preprints.html
  • Martin Ziegler: On a Theorem of Lascar Preprint, 2000. : http://sunpool.mathematik.uni-freiburg.de/home/ziegler/Preprints.html
  • Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases, (to appear), 2000.
Reviews:
Other publications (type Sonstiges):

Special Scientific Activities

Stipendien:
  • Markus Junker: Postdoc-Stipendium des Mittag-Leffler-Instituts Stockholm, Stockholm, Schweden, 01.09.2000 bis 31.12.2000.
  • Martin Ziegler: Forschungsaufenthalt am Mittag-Leffler-Institut Stockholm, 01.10.2000 bis 11.11.2000.
Ehrung:
  • Heinz-Dieter Ebbinghaus: Honorar-Professur an der Mathematischen Fakultät der Beijing Normal University, seit 1990.
Vorsitze und Sprechertätigkeiten:
  • Martin Ziegler: Leitung (mit Daniel Lascar und Alexander Prestel) der Oberwolfach-Tagung "Modelltheorie", 16.01.2000 bis 22.01.2000.
Herausgeberschaften:
  • Heinz-Dieter Ebbinghaus: Mitherausgeber des "Archive of Mathematical Logic", seit 1990.
  • Martin Grohe: Editorial Board des Journal of Discrete Algorithms, 01.01.1999 bis 31.08.2000.
  • 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
  • Christoph Michelke: Symmetrisches Logspace und TC-Logik (Supervisor Heinz-Dieter Ebbinghaus, Secondary Supervisor Jörg Flum), 2000.
  • Marc Weyer: Dyn-FO (Supervisor Heinz-Dieter Ebbinghaus, Secondary Supervisor Jörg Flum), 2000.
  • Paul Koether: Equationale Theorien (Supervisor Martin Ziegler, Secondary Supervisor Bernhard Herwig), 2000.
  • Stefan Wöhrle: Lokalität in der Logik und algorithmische Anwendungen (Supervisor Martin Grohe, Secondary Supervisor Heinz-Dieter Ebbinghaus), 2000.




Guest Scientists:

  • Ari Koponen, Helsinki, Finnland, 18.06.2000 bis 16.07.2000
  • Juha Nurmonen, Helsinki, Finnland, 02.07.2000 bis 16.07.2000
  • Prof. Daniel Lascar, Universität Denis Diderot-Paris 7, Frankreich, 01.02.2000 bis 29.02.2000
  • Prof. David Evans, University of East Anglia, Norwich, Großbritannien, 19.11.2000 bis 01.12.2000
  • Torsten Schatz, Universität Tübingen, 17.08.2000 bis 19.08.2000