한국수학교육학회지시리즈B:순수및응용수학 (The Pure and Applied Mathematics)
- 제15권1호
- /
- Pages.85-92
- /
- 2008
- /
- 1226-0657(pISSN)
- /
- 2287-6081(eISSN)
ON THE WEAK FORMS OF CHOICE IN TOPOI
초록
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.