Dienstag,
2023-10-31
14:30 Uhr
|
Raum 404, Ernst-Zermelo-Str. 1
Lorenzo Notaro:
Separating $\mathsf{DC}(A)$ from $\mathsf{AC_\omega}(A)$
The axiom of dependent choice $\mathsf{DC}$ and the axiom of countable choice $\mathsf{AC_\omega}$ are two weak forms of the axiom of choice that can be stated for a specific set: $\mathsf{DC}(X)$ assets that any total binary relation on $X$ has an infinite chain; $\mathsf{AC_\omega}(X)$ assets that any countable family of nonempty subsets of $X$ has a choice function. It is well-known that $\mathsf{DC}$ implies $\mathsf{AC_\omega}$. We show that it is consistent with $\mathsf{ZF}$ that there is a set $A\subseteq \mathbb{R}$ such that $\mathsf{DC}(A)$ holds but $\mathsf{AC_\omega}(A)$ fails. |
Dienstag,
2023-11-21
14:30 Uhr
|
Raum 404, Ernst-Zermelo-Str. 1
Klara Oehler :
Automorphismentürme von Gruppen
Eine Gruppe mit trivialem Zentrum lässt sich in ihre Automorphismengruppe einbetten, die selbst auch triviales Zentrum hat. Durch Iteration bekommt man so den Automorphismenturm einer Gruppe. Wieland hat gezeigt, dass er für endliche Gruppen nach endlich vielen Schritten stationär wird. Simon Thomas hat dies auf unendliche Gruppen verallgemeinert. Der Vortrag präsentiert einige Ergebnisse aus diesem Umfeld. |
Dienstag,
2023-12-19
14:30 Uhr
|
Raum 404, Ernst-Zermelo-Str. 1
Meike Dünnweber:
IP-Mengen, Produktmengen und stabile Formeln
Präsentation der Masterarbeit. |
Abonnieren
Die Einträge dieser Veranstaltung können im
iCalender Format abonniert werden. die URL dazu lautet:
http://wochenprogramm.mathematik.uni-freiburg.de/ical/WS2023-2024/OS-ML.ics