바로가기메뉴

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

logo

  • P-ISSN1226-0657
  • E-ISSN2287-6081
  • KCI

ISSN : 1226-0657

Article Contents

Prev Next
e-Submission

Vol.2 No.1

Citation Share

Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics / Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, (P)1226-0657; (E)2287-6081
1995, v.2 no.1, pp.25-29
Kim, Ig-Sung
Kim,, I. (1995). . Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, 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<TEX>$\^$</TEX>G/ is a topos whose object are G-set Ψ<TEX>$\sub$</TEX>s/:G<TEX>${\times}$</TEX>S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set<TEX>$\^$</TEX>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: The Pure and Applied Mathematics

e-Submission OA Policy