Bishop 空间的正谱及其极限
逻辑
2023-06-22 v4
摘要
我们应用 Bishop 集合论(BST)的基本概念（一种补充 Bishop 集合理论的非形式理论）于 Bishop 空间理论，这是一种构造性拓扑的函数论方法。在 BST 内，我们发展了集合的正族、Bishop 空间的正谱、Bishop 空间正谱的正极限，以及反变 Bishop 空间正谱的逆极限等概念。在 Bishop 构造数学非形式系统 BISH 的扩展（带可数多前提的归纳定义规则）内，我们证明了关于 Bishop 空间谱的正极限与逆极限的基本定理以及它们之间的对偶原理。
引用
@article{arxiv.1907.03273,
title = {Direct spectra of Bishop spaces and their limits},
author = {Iosif Petrakis},
journal= {arXiv preprint arXiv:1907.03273},
year = {2023}
}