Dies ist die Homepage des Oberseminars "Mathematische Logik" im
Sommersemester 2016.
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 310
Vorträge
-
20. April 2016
Martin Ziegler
Der Satz von Hindman
-
27. April 2016
Giorgio Laguzzi
Uncountable trees and pure decision
Abstract: We continue the investigation about pure decision and Cohen reals
for tree like forcings in the context of the generalized Baire space. We also
analyze how this issue affects the implications between different notions of
regularity, such as the Ramsey property and the Baire property.
-
4. Mai 2016
Giorgio Laguzzi
Continuation: Uncountable trees and pure decision
-
25. Mai 2016
Heike Mildenberger
Large monochromatic subtrees
-
1. Juni 2016
Juan-Diego Caycedo
Pseudo-finite dimensions, after Hrushovski and Wagner
-
8. Juni 2016
Wilhelm Keefer
Die Formel von Erimbetov-Shelah
Abstract: Gegeben sei eine definierbare Abbildung f : D → E, und man
kennt eine Schranke des Morleyranges sowohl von E als auch aller Fasern von f. Kann
man eine scharfe Schranke für den Morleyrang von D angeben?
-
29.6.2016
Yurii Khomsky
Full-splitting Miller trees and infinitely often equal reals
-
13.7.2016
Lorenz Halbeisen
Wie viele Ramsey Ultrafilter gibt es?
-
20.7.2016
Philipp Schlicht
Random reals and infinite time Turing machines
Abstract: We prove an analogue to a theorem of Sacks for infinite time Turing machines: if a real is infinite time Turing computable relative to all reals in a set of positive measure, then it is infinite time Turing computable. To this end, we prove auxiliary results about random forcing over admissible sets, and other results about infinite time machines. This is joint work with Merlin Carl.
|
