바로가기메뉴

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

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

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

logo

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

ISSN : 1226-0657

논문 상세

이전 다음
논문 투고

Vol.15 No.1

Citation Share

ON THE WEAK FORMS OF CHOICE IN TOPOI

ON THE WEAK FORMS OF CHOICE IN TOPOI

한국수학교육학회지시리즈B:순수및응용수학 / Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, (P)1226-0657; (E)2287-6081
2008, v.15 no.1, pp.85-92
Kim, Ig-Sung (Department of Data Information, Sangji University)
Kim, Ig-Sung. (2008). ON THE WEAK FORMS OF CHOICE IN TOPOI. 한국수학교육학회지시리즈B:순수및응용수학, 15(1), 85-92.

Abstract

In topoi, there are various forms of the axiom of choice such as (ES), (AC) and (WO). And also there are various weak forms of the axiom of choice such as (DES), (IAC) and (ASC). First we investigate the relation between (IAC) and (ASC), and then we study the relation between (AC) and (WO). We get equivalent forms of the axiom of choice in a well-pointed topos.

keywords
axiom of choice, implicit axiom of choice, axiom of separated choice

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

논문 투고 OA 정책