Oberseminar Mathematische Logik, Sommersemester 2011
Heike Mildenberger, Martin Ziegler
Mittwoch, 16 - 18, Raum SR 318 (falls wir nicht spontan
in einen Raum
mit mehr Tafeln umziehen)
-
11.5.2011 Salma Kuhlmann, Konstanz, Models of Open Induction and Integer Parts of Real Closed Fields
-
18.5.2011 Ulrich Kohlenbach, Darmstadt,
Beweisinterpretationen und ihre Anwendungen in der nichtlinearen Analysis und in der
Ergodentheorie
-
25.5. (Vorstellungsvortrag Mario Listing)
-
1.6.2011 Alessandro Andretta, Turin, The descriptive set theory of the
Lebesgue density theorem.
Abstract - Slides
- 8.6. Ayhan Gunaydin, Lissabon, Around Complex Exponentiation
- 15.6. Pfingstferien
-
22.6. Gido Scharfenberger-Fabian, Greifswald, Souslin's Hypothesis minus One
Abstract:
We will consider the following variant of Souslin's famous problem
concerning c.c.c., dense linear orders:
Is it consistent with ZFC that there is exactly one complete,
dense, c.c.c., and nowhere separable, linear order?
After reviewing some background on Souslin lines, trees and algebras
I will demonstrate a method for the construction of candidate linear
orders
w.r.t. the above problem.
Finally some approaches to an affirmative answer are sketched along
with
comments on their specific challenges/difficulties.
-
29.6. Alexei Ostrovsky, München, Functions that map open sets
onto constructible ones
-
6.7. Edinburgh Meeting (July 3 -- 8)
-
13.7. Logic Colloquium in Barcelona (July 11 -- 16)
-
20.7. Stefan Geschke, Bonn, Clopen graphs and their finite induced subgraphs.
-
27.7. Martin Hils, Paris,
Definierbarkeit in abstrakter Kummertheorie
(In Zusammenarbeit mit Martin Bays and Misha Gavrilovich)
Inhalt:
Sei S be eine semi-abelsche Varietät. Der Begriff einer Kummer-generischen
Untervarietät X von S spielt bei einer Reihe von modelltheoretischen
Konstruktionen eine wichtige Rolle, so etwa bei schlechten Körpern (im
Zusammenhang mit einer kanonischen Wahl von "grünen Wurzeln"), beim
modelltheoretischen Studium der komplexen Punkte einer kommutativen
algebraischen Gruppe oder bei Zilber's pseudoexponentiellem Körper.
Wir nennen X Kummer-generisch, falls das Urbild unter der Abbildung [n]
(Multiplikation mit n) irreduzibel ist für alle n. In meinem Vortrag werde
ich
einige Existenz- und Uniformitätsresultate zu Kummer-Generizität vorstellen,
insbesondere die Tatsache, dass Kummer-Generizität definierbar in
definierbaren
Familien von Untervarietäten ist. Im Beweis folgen wir einem Vorschlag von
Ofer Gaber.
-
3.8. Daniel Herden, Essen, Absolutely rigid colored trees
Inhalt: Based on classical work by Silver, Nash-Williams and Shelah
(Sh110: Better quasi-orders for uncountable cardinals) we give a new short
combinatorial proof showing the first Erdös cardinal $\kappa(\omega)$ to
be a sharp upper bound for the cardinal of a family of colored trees
WITHOUT non-trivial tree homomorphisms in any generic extension of the
basic universe. We will discuss various consequences of this result
concerning the existence of absolutely rigid structures in algebra and
model theory.
Letzte Änderung, 17.5.2011, H.M.
