NUK - logo
FMF, Mathematical Library, Lj. (MAKLJ)
  • On the Bourbaki-Witt principle in toposes
    Bauer, Andrej ; Lumsdaine, Peter LeFanu
    Bourbai-Wittov izrek pravi, da ima vsaka progresivna preslikava na delno urejeni množici, ki je polna za verige, negibno točko nad vsako točko. Izrek ima klasični dokaz, a ne tudi intuicionističnega. ... V članku obravnavamo ta izrek in nekaj drugih podobnih izrekov v intuicionistični matematiki. Dokažemo, da Bourbaki-Wittov izrek ne velja natanko tedaj, ko trihonomni ordinali tvorijo množico, vendar pa iz izreka ne sledi, da lahko negibno točko vedno najdemo s transfinitno iteracijo. Izrek je neveljaven v realizabilnostnih modelih in v prostem toposu, vendar pa velja v vsakem kopolnem toposu.
    Source: Mathematical proceedings of the Cambridge Philosophical Society. - ISSN 0305-0041 (Vol. 155, iss. 1, 2013, str. 87-99)
    Type of material - article, component part ; adult, serious
    Publish date - 2013
    Language - english
    COBISS.SI-ID - 17680473

    Link(s):

    http://dx.doi.org/10.1017/S0305004113000108

Shelf entry