Event Archive

Oberseminar "Mathematische Logik" - Renrui Qi

Breakthrough about Laver table

01/13/2025, 1:00 PM - 2:00 PM

Category:	Veranstaltung
Organizer:	Zoom Veranstaltung
Speaker:	Renrui Qi - Victoria University of Wellington

Oberseminar "Mathematische Logik" - Silke Meißner

2-ample theories and pseudo-buildings

12/09/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Silke Meißner - Universität Münster

Oberseminar "Mathematische Logik" - Prof. Dr. Helmut Schwichtenberg

A theory of computable functions

11/26/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Helmut Schwichtenberg - Universität München

Oberseminar "Mathematische Logik" - Luisa Després

Applications of Herbrand's Theorem to Euclidean Geometry

11/25/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Luisa Després - Technische Universität Darmstadt

Oberseminar "Mathematische Logik" - Matthias Uschold

Computability in Topology: Mapping degree sets between manifolds

11/11/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Matthias Uschold - Universität Regensburg

Oberseminar "Mathematische Logik" - Dr. Sara Ayhan

Sense and denotation in systems for proofs and refutations

10/28/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Dr. Sara Ayhan - Ruhr-Universität Bochum

Oberseminar "Mathematische Logik" - Prof. Dr. Tobias Nipkow

Alpha-Beta Pruning Explored, Extended and Verified

05/27/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Tobias Nipkow - TU München

Oberseminar "Mathematische Logik" - Prof. Dr. Christian Glaßer

Are there optimal proof systems?

05/14/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Christian Glaßer - Universität Würzburg - Institut für Informatik

Oberseminar "Mathematische Logik" - Jędrzej Kołodziejski

Modal Logic over Ordinals

05/06/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Jędrzej Kołodziejski - TU Dortmund

Oberseminar "Mathematische Logik" - PD Dr. Martin Fischer

Reflective closure revisited

04/29/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	PD Dr. Martin Fischer, MCMP - LMU München

Oberseminar "Mathematische Logik" - Dr. Ziemowit Kostana

Weak and parametrized diamonds -- formulations and applications

04/22/2024, 4:15 PM - 5:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Dr. Ziemowit Kostana - Czech Academy of Sciences

Oberseminar "Mathematische Logik" - Katarzyna W. Kowalik

Reverse mathematics of Ramsey-theoretic statements over a weaker base theory

02/05/2024, 2:15 PM - 3:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Katarzyna W. Kowalik, Universität Würzburg

Oberseminar "Mathematische Logik" - Rafael Nießner

Reverse mathematics of a theorem of Laver

01/30/2024, 2:15 PM - 3:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Rafael Nießner, Technische Universität Darmstadt

Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund

Towards a dichotomy result for dilators

01/29/2024, 2:15 PM - 3:15 PM

Category:	Veranstaltung
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Anton Freund, Universität Würzburg