| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Tobias Nipkow - TU München |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Christian Glaßer - Universität Würzburg - Institut für Informatik |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Jędrzej Kołodziejski - TU Dortmund |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | PD Dr. Martin Fischer, MCMP - LMU München |
| Category: | Veranstaltung |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Dr. Ziemowit Kostana - Czech Academy of Sciences |
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.
