[Zurück]
 
Bitte auswählen
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Forschungsbericht für das Jahr 2024
 

Kostenstelle 1070102*

Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

  • Prof. i.R. Dr. Heinz-Dieter Ebbinghaus
  • Prof. i.R. Dr. Jörg Flum
  • Prof. i.R. Dr. Martin Ziegler
  • PD Dr. habil Jochen Koenigsmann
  • Dr. Yijia Chen
  • Olivier Roche
  • Dipl.-Math. Hans Scheuermann
  • Dipl.-Math. Mark Weyer

Forschungsschwerpunkte

  • Entwicklung neuer Forcinghalbordnungen
  • Logik
  • Anwendungen der Ramsey-Theorie in Unabhängigkeitsbeweisen
  • Modelltheorie
  • Deskriptive Mengenlehre
  • endliche Modelltheorie und deskriptive Komplexitätstheorie
  • Stabilitätstheorie und geometrische Modelltheorie
  • algebraische Modelltheorie, bewertete Körper, Arithmetik
  • Kardinalzahlinvarianten
  • Kombinatorik in ZFC

Wissenschaftliche Projekte und Forschungsvorhaben


  • Aachen-Freiburg-Mainz-Seminar
    • Projektleitung: Prof. Dr. H.-D. Ebbinghaus, Prof. Dr. Jörg Flum, PD Dr. Martin Grohe
    • Laufzeit: seit 1995
    • Details zum Projekt
  • Neue Forcingmethoden und Unabhängigkeitsresultate
    • Projektleitung: Heike Mildenberger, Saharon Shelah
    • Laufzeit: seit 01.08.1998
    • Details zum Projekt

Wissenschaftliche Publikationen

Besondere wissenschaftliche Aktivitäten

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.
Verbände und Fachgesellschaften:
  • Heike Mildenberger: Mitglied des Vorstands der Deutschen Vereinigung für Mathematische Logik und Grundlagen DVMLG, seit 01.09.2016.
Wissenschaftliche Beratung / Gutachtertätigkeiten:
  • Heike Mildenberger: Arbeit als Referee für wissenschaftliche Zeitschriften: Journal of Symbolic Logik, Transactions of the American Mathematical Society Proceedings of the America Mathematical Society, Bulletin of the London Mathematical Society, Archive for Mathematical Logic, Mathematical Logic Quarterly, Topology and its Applications, European Journal of Mathematics, Fundamenta Mathematicae, Annals of Pure and Applied Logic, Journal of Mathematical Logic, Advances in Mathematics, Israel Journal of Mathematics, seit 01.10.1992.
  • Heike Mildenberger: Gutachterin das Baden-Württemberg Elite-Programm, seit 01.06.2017.
Fakultaet:
  • Heike Mildenberger: Ersthelferin im Mathematischen Institut, Teilnahme an Auffrischungskursen im Mai 2014, September 2017, Anfang März 2020., seit 01.05.2014.

Abschlussarbeiten