Bishop空间的直接谱及其极限
摘要：在本文中，我们应用了Bishop集合论的基本概念（BST），这是一种补充Bishop集合论的非正式理论，应用于Bishop空间理论，即一种函数论的构造性拓扑学方法。在BST中，我们发展了集合的直接族，Bishop空间的直接谱，Bishop空间直接谱的直接极限以及反变直接谱的逆极限的概念。在Bishop的构造性数学理论BISH的扩展中，我们用具有可数前提的归纳定义规则证明了关于Bishop空间谱的直接极限和逆极限以及它们之间的对偶原理的基本定理。
作者：Iosif Petrakis
论文ID：1907.03273
分类：Logic
分类简称：math.LO
提交时间：2023-06-22