ON THE WEAK FORMS OF CHOICE IN TOPOI

  • Kim, Ig-Sung (Department of Data Information, Sangji University)
  • Published : 2008.02.28

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.

Keywords