Dies ist die Homepage des Oberseminars "Mathematische Logik" im
Wintersemester 2012/2013.
Heike Mildenberger.
Martin Ziegler.
Zeit und Ort
Mi 16:3018:00, SR 404 in der Eckerstr. 1, vorher
ab kurz nach 4 Tee in Zimmer 310
Vorträge
 24.10.2012
16 Uhr, Habilitationskolloquium Emanuel Scheidegger
Kein Oberseminar
 31.10.2012
Heike Mildenberger
Combinatorics with block sequences
Abstract: I will talk on a forcing construction
of a model in which every nonmeagre filter is ultra
by finitetoone and at the same time the semifilter trichotomy does not hold.
This trichotomy says: Every semifilter is either meagre or
comeagre or
ultra by finitetoone.
A semifilter is a subset of [omega]^\omega
that is closed under almost supersets.
 7.11.2012
Martin Ziegler
Indicernibles
Abstract: We give a simple proof of Shelah's theorem on the existence of tree indiscernibles.
 14.11.2012
Heike in Toronto
 21.11.2012
Arno Pauly
Beyond effective descriptive set theory
Abstract: While effective descriptive set theory has widely succeeded in
providing
effective counterparts to results from descriptive set theory pertaining to
the projective hierarchy, some results from the lower levels of the Borel
hierarchy such as the Jayne Rogers theorem resisted effectivization.
Based on the notion of nondeterministic Type2 computation, a proof of a
computable Jayne Rogers theorem is given. For this, a more uniform approach
to descriptive set theory in line with computable analysis is crucial  and
distinct from the usual notions in descriptive set theory.
As a further step, it is demonstrated how the Banach Hausdorff Lebesgue
theorem linking Baire class n to Sigman+1 measurability follows as a
corollary of a simple observation about endofunctors on the category of
represented spaces. Together, this results are used to argue that
represented spaces provide a very natural setting for descriptive set
theory.

28.11.2012
Giorgio Laguzzi
Silver measurabilty without Miller measurability
Abstract: In the 1980s, Shelah invented a deep and rather mysterious
construction to build strongly homogeneous algebra, called amalgamation.
Together with the notion of sweet forcing, it was the amazing technique to
get
a model where all sets have the Baire property, without using inaccessible
cardinals. The aim of the talk is to present an (absolutely less ambitious)
application of Shelah´s amalgamation to obtain a model where all sets are
Silver measurable but there exists a nonMiller measurable set.

5.12.2012
Luca Motto Ros
Wadgelike reducibilities on arbitrary (quasi)Polish spaces

12.12.2012
Heike in Paris

19.12.2012
Jeff Serbus
Cardinal Invariants and the PIdeal Dichotomy

9.1.2013
Philipp Schlicht
Title: Perfect subsets of generalized Baire spaces and BanachMazur games
Abstract: Let $\kappa$ be an uncountable cardinal with $\kappa^{< \kappa} =
\kappa$. We consider the generalized Baire space of functions $f : \kappa \to
\kappa$ with basic open sets $U_s = \{f \in \kappa^\kappa \mid s \subseteq f
\}$ for $s \in {}^{< \kappa} \kappa$. A subset of $\kappa^\kappa$ is perfect if
it is the set of branches of a $< \kappa$closed subtree of ${}^{< \kappa}
\kappa$ which splits above every node. We prove that after an inaccessible
$\lambda > \kappa$ is collapsed to $\kappa^+$, every set $A \subseteq
\kappa^\kappa$ definable from ordinals and subsets of $\kappa$ either has size
$\leq \kappa$ or a perfect subset, and that the BanachMazur game for $A$ is
determined.

16.1.2013
JuanDiego Caycedo
Title: The PilaZannier proof of the ManinMumford conjecture

23.1.2013
Giorgio Laguzzi
Title: Amoeba of Sacks forcing without Cohen reals

29.1.2013 ausnahmsweise Dienstag von 11:30 bis 13 Uhr, SR 318
Alexander Prestel
Title: On rings of continuous padic valued functions
