具有Urelements的集合论

摘要:带有独元的集合论的全面介绍 带有独元的集合论的公理化 用独特的方式研究独元集合论的强化和恢复 带有独元的类论研究

作者:Bokai Yao

论文ID:2303.14274

分类:Logic

分类简称:math.LO

提交时间:2023-06-21

PDF 下载: 英文版 中文版pdf翻译中