Blume

Oberseminar
Mathematische Logik
Sommersemester 2015

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

Dies ist die Homepage des Oberseminars "Mathematische Logik" im Sommersemester 2015.

Prof. Ziegler.

Prof. Mildenberger hat ein Forschungssemester.

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

  • April 29, 2015
    Martin Ziegler
    Partielle Ordnungen mit beschraenkten Antiketten
    Abstract: Pierre Simon hat kuerzlich bewiesen, dass eine unendliche partielle Ordnung mit beschraenkten Antiketten eine unendliche lineare Ordnung interpretiert.

  • May 6, 2015
    Heike Mildenberger
    Blass–Shelah Forcing Revisited  
    Blass–Shelah forcing is a classical forcing with normed creatures.
    The involved creatures and norms will be reviewed in the talk. We work with subforcings of the original Blass-Shelah forcing. The aim is to preserve one kind of ultrafilters and build up another ultrafilter with large character. Ramsey–theoretic properties of the partial order help to analyse the effect of the forcing.

  • May 13, 2015
    Piotr Kowalski
    Some model theory of finite group scheme actions
    Abstract: This is joint work with my PhD student Daniel Hoffmann.
    I will recall how one can understand an iterative Hasse-Schmidt derivation as an infinite sequence of actions of finite group schemes coming from the additive group. Then I will describe how to generalize the results of Martin Ziegler about model theory of iterative Hasse-Schmidt derivations to the case of actions of arbitrary finite group schemes and formal groups. 

  • May 20, 2015
    Katrin Tent
    Kurze Beschreibung endlicher Gruppen
    Abstract: Wir nennen eine Klasse endlicher L-Strukturen in einer endlichen Signatur r-komprimierbar, wenn jede Struktur G in dieser Klasse durch einen Satz der Laenge O(r|G|) beschrieben werden kann. Wir zeigen, dass die Klasse der endlichen einfachen Gruppen log-komprimierbar und die Klasse aller endlichen Gruppen log³-komprimierbar ist.
    (mit A. Nies)

  • May 26, 2015
    Pfingstpause

  • June 17, 2015
    Ayhan Günaydın
    Topological Study of Pairs of Algebraically Closed Fields
    Abstract: Model theoretic study of pairs of algebraically closed fields goes back to Keisler, who proved a completeness result and a quantifier elimination result. Since then there has been quite a bit of work on the subject of expansions of fields by certain subsets. In this talk, I will propose a topological study of pairs of algebraically closed fields. The topology I will introduce is strictly between the Zariski and Kolchin topologies. I will prove some preliminary results on the interaction of this topology and model theoretic concepts. Then I will talk about my hopes on how useful this topology could be.

  • July 1, 2015
    Jörg Flum
    Zufällige Graphen und Cliquen
    Zusammenfassung: Die Hauptbotschaft meines Vortrags lautet: die Logik der ersten Stufe ist blind für zufällige Veränderungen. Diese Blindheit ist wiederholt benutzt worden, um zu zeigen, dass gewisse Eigenschaften nicht in der Sprache der ersten Stufe ausdrückbar sind. Insbesondere kann jede in der Sprache der ersten Stufe ausdrückbare Eigenschaft von geordneten Graphen asymptotisch fast sicher einen zufälligen geordneten Graphen
    mit n Punkten nicht von diesem Graphen mit einer zufällig hinzugefügten Clique der
    Größe nξ mit 0 ≤ ξ < 1 unterscheiden.

    Hier sind die Slides des Vortrags.

  • July 8, 2015
    Juan-Diego Caycedo
    Some categorical logic

  • July 15, 2015
    Tobias Schandelmeier
    Cardinal Arithmetic (Masterpräsentation)
    Vorsicht: Geänderte Zeiten: Kein Tee, Vortrag von 16:15 - 17:15 im SR 404
Zuletzt geaendert am 2 Juli 2015, MZ