• 제목/요약/키워드: implicit axiom of choice

검색결과 1건 처리시간 0.013초

ON THE WEAK FORMS OF CHOICE IN TOPOI

  • Kim, Ig-Sung
    • 한국수학교육학회지시리즈B:순수및응용수학
    • /
    • 제15권1호
    • /
    • pp.85-92
    • /
    • 2008

  • 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.

  • PDF