Toposni modeli principov teorije množicMejak, Severin (Avtor) Simpson, Alex (Mentor) topossheafsiteaxiom of choicedependent choicecountable choiceindependenceIn 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 statements. We consider topos versions of axiom of choice, axiom of dependent choice and axiom of countable choice. For Grothendieck topoi (over atomic sites) we give natural conditions (without reference to the internal language of the topos) for validity of the internal choice principles. We show that the same implications as for the set-theoretic versions also hold for the topos versions. We present three concrete examples of Grothendieck topoi, which show that the converses of these implications are not valid and that the three considered axioms are independent from IZFA (intuitionistic ZF, where atoms are allowed).20192019-07-26 07:45:03Magistrsko delo/naloga108796sl