亚历山大·巴尔塔格 STS:集合的结构理论。 (英语) 兹伯利0933.03070 日志。J.IGPL公司 7,第4期,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) 全文: 内政部 链接