바로가기메뉴

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

logo

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

ISSN : 1226-0657

Article Contents

Prev Next
e-Submission

Vol.3 No.2

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
1996, v.3 no.2, pp.131-139
Kim, Ig-Sung
Kim,, I. (1996). . Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, 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

Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics

e-Submission OA Policy