The Pure and Applied Mathematics (한국수학교육학회지시리즈B:순수및응용수학)
- Volume 3 Issue 2
- /
- Pages.131-139
- /
- 1996
- /
- 1226-0657(pISSN)
- /
- 2287-6081(eISSN)
ON THE AXIOM OF CHOICE IN A WELL-POINTED TOPOS
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