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