바로가기메뉴

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

ACOMS+ 및 학술지 리포지터리 설명회

  • 한국과학기술정보연구원(KISTI) 서울분원 대회의실(별관 3층)
  • 2024년 07월 03일(수) 13:30
 

logo

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

ON SOME PROPERTIES OF THE BLASS TOPOS

한국수학교육학회지시리즈B:순수및응용수학 / 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 (Sangji University)

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

한국수학교육학회지시리즈B:순수및응용수학