Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih

Povzetek: Bourbaki-Wittov in Knaster-Tarskijev izrek o obstoju negibnih točk sta klasična izreka, ki za delne ureditve, ki so polne glede na supremume verig, ne veljata v intuicionistični logiki. Na seminarju bomo obravnavali izreka s stališča intuicionistične matematike. Pokazali bomo, da izreka veljata v toposih snopov, medtem ko v toposih realizabilnosti ne veljata. Poleg tega bomo videli, da ima Bourbaki-Wittov protiprimer natanko tedaj, ko ordinalna števila tvorijo množico, v tem primeru pa je že funkcija naslednik na ordinalnih številih protiprimer za Bourbaki-Wittov izrek.

Vabljeni!