| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Silke Meißner - Universität Münster |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Luisa Després - Technische Universität Darmstadt |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Matthias Uschold - Universität Regensburg |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Dr. Sara Ayhan - Ruhr-Universität Bochum |
Reverse mathematics of Ramsey-theoretic statements over a weaker base theory
Reverse mathematics of a theorem of Laver
Towards a dichotomy result for dilators
Fraissé's conjecture and Towsner's system TLPP
Proof-theoretically tame approaches to some tameless areas of mathematics
Relative leftmost paths in the Weihrauch lattice
An order type decomposition of Laver
By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.
By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.
