Veranstaltungen und Vorträge
Jakob Weber: Normale Spannbäume
Dienstag, 11.3.25, 14:30-16:00, Seminarraum 404
Normale Spannbäume
Eni Schwindt: Das Aufwärts Löwenheim-Skolem-Tarski-Theorem in der infinitären Logik Lω1,ω
Dienstag, 18.3.25, 14:30-16:00, Seminarraum 404
Das Aufwärts Löwenheim-Skolem-Tarski-Theorem in der infinitären Logik Lω1,ω