构造性集合论中关于名义集的一些布劳威尔式反例
逻辑
2017-02-07 v1
摘要
最小有限支撑的存在性在名义集的整个领域中都被使用。本文给出一些布劳威尔式反例，表明在构造性情形下，最小有限支撑并非总是存在，事实上可能表现极为不良。在此基础上，我们重申：当以构造性方式处理名义集时，应避免使用最小有限支撑。此外，我们的例子表明，这一问题无法通过要求名义集按定义具有最小有限支撑，或通过采用次有限（subfinite）而非有限的概念来修正。
引用
@article{arxiv.1702.01556,
title = {Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory},
author = {Andrew Swan},
journal= {arXiv preprint arXiv:1702.01556},
year = {2017}
}