Oberseminar "Mathematische Logik" - Rafael Nießner
Reverse mathematics of a theorem of Laver
01/30/2024, 2:15 PM - 3:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Rafael Nießner, Technische Universität Darmstadt |
Event Archive
Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund
Towards a dichotomy result for dilators
01/29/2024, 2:15 PM - 3:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Anton Freund, Universität Würzburg |
Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund
Fraissé's conjecture and Towsner's system TLPP
12/04/2023, 4:15 PM - 5:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Anton Freund, Universität Würzburg |
Oberseminar "Mathematische Logik" - Nicholas Pischke
Proof-theoretically tame approaches to some tameless areas of mathematics
11/20/2023, 4:15 PM - 5:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Nicholas Pischke, Technische Universität Darmstadt |
Oberseminar "Mathematische Logik" - Patrick Uftring
Relative leftmost paths in the Weihrauch lattice
11/06/2023, 4:15 PM - 5:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Patrick Uftring, Universität Würzburg |
Oberseminar "Mathematische Logik" - Davide Manca
An order type decomposition of Laver
10/23/2023, 4:15 PM - 5:15 PM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Davide Manca, Universität Würzburg |
