본문 바로가기
216.73.217.86
216.73.217.86
ON THE AXIOM OF CHOICE IN A WELL-POINTED TOPOS
( IG SUNG KIM )
UCI I410-ECN-0102-2009-410-006993682

Topos is a set-like category. For an axiom of choice in a topos, F. W. Lawvere and A. M. Penk introduced another versions of the axiom of choice. Also it is showed that general axiom of choice and Penk`s axiom of choice are weaker than Lawvere`s axiom of choice. In this paper we study that weak form of axiom of choice, axiom of choice, Penk`s axiom of choice and Lawvere`s axiom of choice are all equivalent in a well pointed topos.

[자료제공 : 네이버학술정보]
×