Auf dieser Seite informieren wir über Forschungsveranstaltungen zur mathematischen Logik.
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Silke Meißner - Universität Münster |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Prof. Dr. Helmut Schwichtenberg - Universität München |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Luisa Després - Technische Universität Darmstadt |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Matthias Uschold - Universität Regensburg |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | 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
Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.
Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.
