作者：卢涛 王习娟 贺伟topos偏序对象完备格对象选择公理
摘要：基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画：选择公理成立当且仅当连续格对象等价于构造性连续格对象。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东大学学报·理学版》（CN：37-1389/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《山东大学学报·理学版》为理工科综合性学术期刊。旨在反映该校自然科学领域中的最新研究成果，促进学术交流，活跃学术思想。
杂志详情
