Oberseminar "Mathematische Logik" - Rafael Nießner
Reverse mathematics of a theorem of Laver
Date: | 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 |