Blume

Oberseminar
Mathematische Logik
Wintersemester 2015/16

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

Dies ist die Homepage des Oberseminars "Mathematische Logik" im Wintersemester 2015/16.

Prof. Mildenberger.

Prof. Ziegler.

Zeit und Ort

Mi 16:30-18:00, SR 404 in der Eckerstr. 1, vorher ab kurz nach 4 Tee in Zimmer 313

Vorträge

  • October, 21
    Giorgio Laguzzi, Amoeba for uncountables
    Abstract: I will talk about amoeba for Sacks forcings at uncountable kappa. In particular I show how to read off a Cohen kappa sequence from a club Sacks tree, by coding via stationary sets. In particular this implies that whenever you add a club Sacks tree of generic branches, then you necessarily add a Cohen kappa sequence. I also show that this might be a hint to show that the meager ideal Tukey embeds into the Mycielski ideal for club Sacks .
  • October, 28
    Giorgio Laguzzi, Amoeba Forcing (Zweiter Teil)

  • November, 11
    Giorgio Laguzzi, Amoeba Forcing (Dritter Teil)

  • November, 18
    Markus Junker, Bemerkungen über einige Redukte
  • November, 25
    kein Oberseminar
  • December, 4 (14:00 Uhr, SR 403)
    Martin Bays, CCMA, and its imaginaries
    Abstract: I will discuss the model theory of CCMA, the theory of compact complex manifolds with a generic automorphism. I will discuss the imaginaries of this theory, and give a trichotomous classification of its minimal types. This work is joint with Martin Hils and Rahim Moosa.
  • December, 09
    Martin Ziegler, Über einen Satz von Tarski
    Es handelt sich um folgenden Satz der Mengenlehre (ohne Annahme des Auswahlaxioms) Sei n eine positive natürliche Zahl, A und B beliebige Mengen. Wenn es eine Injektion n x A -> n x B gibt, dann auch eine Injektion A -> B.
  • December, 16, 2015
  • January, 13, 2016, High and Low Forcing at American Institute of Mathematics
  • January, 20, 2016, 4 Vorstellungsvortraege
  • January, 27, 2016
  • February, 3, 2016, Winterschool und Goebel-Konferenz
  • February, 10, 2016,
    Heike Mildenberger, Symmetrische Namen fuer Paare von Vitaliklassen reeller Zahlen
Last update on December 4, 2015, R.S.