Auf dieser Seite informieren wir über Forschungsveranstaltungen zur mathematischen Logik.
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende:r: | Prof. Dr. Tobias Nipkow - TU München |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende:r: | Prof. Dr. Christian Glaßer - Universität Würzburg - Institut für Informatik |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende:r: | PD Dr. Martin Fischer, MCMP - LMU München |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende:r: | 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
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.
