Examensarbete

Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic

8 dec

Examensarbete

måndag 2025-12-08, 12.30

Plats: 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 (Examensarbete) 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 (Examensarbete)

Simon Hanson: Hilbert's Invariance Theorem

8 dec

Examensarbete

måndag 2025-12-08, 14.00 - 15.00

Plats: 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 (Examensarbete) Cramérrummet (mötesrum 12), Albano, Hus 1, Vån 3 (KTH, Stockholm, Sweden)Simon Hanson: Hilbert's Invariance Theorem (Examensarbete)