바로가기메뉴

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

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

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

logo

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

ISSN : 1226-0657

논문 상세

이전 다음
논문 투고

Vol.3 No.2

Citation Share

ON THE AXIOM OF CHOICE IN A WELL-POINTED TOPOS

한국수학교육학회지시리즈B:순수및응용수학 / Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, (P)1226-0657; (E)2287-6081
1996, v.3 no.2, pp.131-139
Kim, Ig-Sung (Sangji University)
Kim, Ig-Sung. (1996). ON THE AXIOM OF CHOICE IN A WELL-POINTED TOPOS. 한국수학교육학회지시리즈B:순수및응용수학, 3(2), 131-139.

Abstract

Topos is a set-like category. For an axiom of choice in a topos, F. W. Lawvere and A. M. Penk introduced another versions of the axiom of choice. Also it is showed that general axiom of choice and Penk's axiom of choice are weaker than Lawvere's axiom of choice. In this paper we study that weak form of axiom of choice, axiom of choice, Penk's axiom of choice and Lawvere's axiom of choice are all equivalent in a well pointed topos.

keywords

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

논문 투고 OA 정책