Davorin Lešnik: Toposi kot modeli intuicionistične matematike
Datum objave: 13. 5. 2009
Seminar za geometrijo
Ponedeljek 18.5.2009, od 10h do 12h, Plemljev seminar na Jadranski 19
Na seminarju bomo ponovili osnove intuicionistične logike in si ogledali njeno interpretacijo najprej v splošnem elementarnem toposu, nato pa posebej v Grothendieckovem toposu.