Seminar, Logic
Wed 23 November
-
Seminar, Logic
Wednesday 2022-11-23, 10:00 - 12:00
Participating: Henrik Forssell, Oslo Metropolitan University
Location: Albano house 1, floor 3, Room U (Kovalevsky)
2022-11-23T10:00:00.000+01:00 2022-11-23T12:00:00.000+01:00 Henrik Forssell: The coherent definability theorem by locales of models (Seminar, Logic) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Henrik Forssell: The coherent definability theorem by locales of models (Seminar, Logic)