Degree project
Mon 08 December
-
Degree project
Monday 2025-12-08, 12:30
Location: Mittag-Lefflerrummet (mötesrum 16), Albano, Hus 1, Vån 3
Respondent: Maximilian Vranjes
2025-12-08T12:30:00.000+01:00 2025-12-08T12:30:00.000+01:00 Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic (Degree project) Mittag-Lefflerrummet (mötesrum 16), Albano, Hus 1, Vån 3 (KTH, Stockholm, Sweden)Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic (Degree project) -
Degree project
Monday 2025-12-08, 14:00 - 15:00
Location: Cramérrummet (mötesrum 12), Albano, Hus 1, Vån 3
Respondent: Simon Hanson
2025-12-08T14:00:00.000+01:00 2025-12-08T15:00:00.000+01:00 Simon Hanson: Hilbert's Invariance Theorem (Degree project) Cramérrummet (mötesrum 12), Albano, Hus 1, Vån 3 (KTH, Stockholm, Sweden)Simon Hanson: Hilbert's Invariance Theorem (Degree project)