Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Diskretna Morsova teorija
Severin Mejak, Sašo Strle
Diplomsko delo
Oznake: matematika;Bettijeva števila;CW-kompleks;diskretna Morsova funkcija;Eulerjeva karakteristika;homologija;krepke Morsove neenakosti;simplicialni kompleks;šibke Morsove neenakosti;usmerjeni aciklični grafi;
Diskretna Morsova teorija
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Topos models of set-theoretic principles
Severin Mejak, Alex Simpson
Magistrsko delo
Oznake: topos;sheaf;site;axiom of choice;dependent choice;countable choice;independence;
In this thesis we approach axioms of choice of different strength by considering topoi. First, we present Grothendieck topoi and afterwards their abstractly axiomatised counterparts called elementary topoi. For these we show, that they carry logic, through which we can express set-theoretic statemen ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: