바로가기메뉴

본문 바로가기 주메뉴 바로가기

logo

  • P-ISSN3059-0604
  • E-ISSN3059-1309
  • KCI

ISSN : 3059-0604

Article Contents

Prev Next
e-Submission

Vol.15 No.1

Citation Share

ON THE WEAK FORMS OF CHOICE IN TOPOI

Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics / Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics, (P)3059-0604; (E)3059-1309
2008, v.15 no.1, pp.85-92
Kim, Ig-Sung
Kim,, I. (2008). ON THE WEAK FORMS OF CHOICE IN TOPOI. , 15(1), 85-92.

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
axiom of choice, implicit axiom of choice, axiom of separated choice

Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics

e-Submission OA Policy