Topos中选择公理的一个等价刻画  

An equivalent characterization of the choice axiom in a Topos

作　　者：卢涛[1] 王习娟[2] 贺伟[3] 

机构地区：[1]淮北师范大学数学科学学院,安徽淮北235000 [2]南京大学数学系,江苏南京210097 [3]南京师范大学数学科学学院,江苏南京210097

出　　处：《山东大学学报（理学版）》2015年第12期54-57,64,共5页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金资助项目(11171156);安徽省高校自然科学研究重点项目(KJ2015A064)

摘　　要：基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。We give the newdefinition of complete lattice object and the equivalent characterization of the choice axiom based on the partially ordered object in a Topos： the choice axiom is equivalent to that L is a continuous lattice object if and only if L is a constructive continuous lattice object.

关 键 词：TOPOS 偏序对象 完备格对象 选择公理 

分 类 号：O189.11[理学—数学]