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.
|
|