바로가기메뉴

본문 바로가기 주메뉴 바로가기
 

logo

  • P-ISSN3059-0604
  • E-ISSN3059-1309
  • KCI

ISSN : 3059-0604

Article Contents

Prev Next
e-Submission

Vol.2 No.1

PDF Citation Share

Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics / 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
Kim,, I. (1995). , 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)

keywords

Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics

e-Submission OA Policy