Andrej Bauer: Izreki o negibnih točkah v efektivnem toposu
Datum objave: 19. 1. 2009
Seminar za temelje matematike in teoretično računalništvo
Torek 20. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Opomba: Seminar se začne ob 10h.
Povzetek: V efektivnem toposu obstaja distributivna mreža, ki je polna za verige, in na njej monotona in progresivna preslikava, ki nima negibne točke. Od tod sledi, da se izrekov Tarskega in Bourbaki-Witta o obstoju negibnih točk ne da dokazati v intuicionistični logiki višjega reda.
Vabljeni!
