Jaap van Oosten: Some subtoposes of the effective topos
Datum objave: 6. 6. 2011
Seminar za temelje matematike in teoretično računalništvo
Torek, 7. 6. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Abstract: virtually all we know about subtoposes of the effective topos is contained in Martin Hyland's original paper on the topos, or in Andy Pitts' thesis. We present some new results. This is a master thesis project of my student Sori Lee.
