亚历山大·巴尔塔格 STS：集合的结构理论。 （英语） Zbl 0933.03070号 日志。J.IGPL公司 第7期，第481-515号（1999年）. 摘要：我们探索了一种基于纯粹“结构”集合概念的非经典通用集合理论。集合是任意（可能较大）二元结构展开的超限过程，集合的恒等式由这些过程之间的观测等价性给出。我们使用无限模态逻辑将这些概念形式化，它为集合结构提供了部分描述，直到观测等价。我们描述了结果集理论的理解和拓扑性质，并用它给出了经典悖论的非经典解，证明了递归和共递归的不动点定理，形式化了“超大”、自反范畴和“超大“循环模型，并提供了“自然”区域方程的解。 引用于4文件 MSC公司： 03E70型 非经典和二阶集合论 03B45号 模态逻辑（包括规范逻辑） 18甲15 基础、与逻辑和演绎系统的关系 关键词：集是二元结构展开的超限过程;集合的结构理论;超反基础公理;超大型;过程之间的观测等价;泛集合论;无限模态逻辑;拓扑特性;悖论;不动点定理;递归;同蚀作用;自反范畴;圆形模型;区域方程 PDF格式BibTeX公司 XML格式引用 \textit｛A.Baltag｝，日志。J.IGPL 7，第4期，481--515（1999；Zbl 0933.03070） 全文： 内政部 链接