ON SOME PROPERTIES OF THE BLASS TOPOS
한국수학교육학회지시리즈B:순수및응용수학 / Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics, (P)3059-0604; (E)3059-1309
1995, v.2 no.1, pp.25-29
Kim, Ig-Sung
(Sangji University)
Kim, Ig-Sung.
(1995). ON SOME PROPERTIES OF THE BLASS TOPOS, 2(1), 25-29.
Abstract
The topos constructed in [6] is a set-like category that includes among its axioms an axiom of infinity and an axiom of choice. In its final form a topos is free from any such axioms. Set$\^$G/ is a topos whose object are G-set Ψ$\sub$s/:G${\times}$S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set$\^$G/ satisfies the weak form of the axiom of choice but it does not satisfies the axiom of the choice.(omitted)