Blume

Oberseminar
Mathematische Logik
Wintersemester 2016

Universitätssiegel
Mathematisches Institut Abteilung für Math. Logik

Dies ist die Homepage des Oberseminars "Mathematische Logik" im Wintersemester 2016/17.

Heike Mildenberger.

Martin Ziegler.

Zeit und Ort

Mi 16:30-18:00, SR 404 in der Eckerstr. 1, um 16 Uhr Tee in Zimmer 313.

Vorträge

  • 26.10.2016
    Heike Mildenberger
    Karos, Orakel und ein Typenübergehungssatz
  • 3.11.2016
    Heike Mildenberger
    Karos, Orakel und ein Typenübergehungssatz, zweiter Teil
    Zu beiden Vorträgen
    Wir studieren den Anfang des Kapitels IV aus dem Proper and Improper Forcing Buch von Shelah. Eine hinreichende Bedingung für das Übergehen von Typen aus aleph1 Aussagen wird vorgestellt. Die Technik ist verwandt mit den Grundlagen zum Satz aus [Sh:100], dass die Anzahl der Modelle für nicht superstabile Theorien konsistenterweise auch klein sein kann.
  • 9.11.2016
    Giorgio Laguzzi
    Strolling through paradise
    We investigate the relationships between some ideals coming from several notions of tree-forcings in the generalized Cantor and Baire spaces. This generalizes a line of research started by Jörg Brendle in the 90s. This is a joint work with Yurii Khomskii.
  • 16.11.2016
    Zaniar Ghadernezhad
    Building countable generic structures with the algebraic closure property
    In this talk we introduce a new method of building countable generic structures with the algebraic closure property. This method generalizes the well-known construction method of building generic structures using a pre-dimension function. Using this method it is very easy to build a generic structure that its theory is not simple. The initial motivation for such a generalization was to build a generic structure that is NTP_2 but not simple. Time permitting, we investigate TP_2 property of the non-simple generics that are obtained from this method.
  • 23.11.2016
    Giorgio Laguzzi
    Strolling through paradise, continued
  • 30.11.2016
    Martin Ziegler
    Paare algebraisch abgeschlossener Körper sind äquational
  • 7.12.2016
    Martin Ziegler
    Fortsetzung des Vortrags: Paare algebraisch abgeschlossener Körper sind äquational
  • 14.12.2016
    Staudinger Lecture: kein Oberseminar
  • 21.12.2016
    Wolfgang Wohofsky
    Cofinalities of Marczewski-like ideals
  • 11.1.2017
    kein Oberseminar
  • 18.1.2017
    Markus Junker
    Redukte und invariante Unterräume
  • 25.1.2017
    Katrin Tent
    Ample Theorien von endlichem Morleyrang
  • 1.2.2017
    Martin Ziegler
    Schoenfieldabsolutheit
  • 8.2.2017
    Amador Martin-Pizarro
    Einfache Expansionen von Körpern
Zuletzt geändert am 3.2.2017, R.S.