바로가기메뉴

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

logo

  • P-ISSN1226-0657
  • E-ISSN2287-6081
  • KCI

ISSN : 1226-0657

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: The Pure and Applied Mathematics / Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, (P)1226-0657; (E)2287-6081
2008, v.15 no.1, pp.85-92
Kim, Ig-Sung
Kim,, I. (2008). ON THE WEAK FORMS OF CHOICE IN TOPOI. Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, 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: The Pure and Applied Mathematics

e-Submission OA Policy