Andrej Bauer: Ko je realnih števil števno mnogo

Povzetek: Podrobno si bomo ogledali parametrični realizabilnostni topos, v katerem tvorijo Dedekindova realna števila števno množico. Topos ima nenavadnih lastnosti. Na primer, tudi Hilbertova kocka je števna, vse preslikave so zvezne, Brouwerjev izrek o negibni točki velja, zaprti interval ima zunanjo mero 0, lahko ga pokrijemo z odprtim pokritjem brez končnega podpokritja, vendar pa ima vsako števno pokritje z racionalnim intervali končno podpokritje.

Delo je nastalo v sodelvanju z Jameson Hansonom.