构造性集合论中关于名义集的Brouwerian反例
Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory
摘要：
最小有限支撑的存在性在整个名义集的主题中使用。在本文中，我们给出了一些Brouwerian反例表明，建设性的，最小的有限支持并不总是存在，事实上可以相当糟糕的行为。在此基础上，我们加强了一点，即建设性地工作时，使用最小有限支持的名义集，应避免。此外，我们的例子表明，这个问题不能通过要求名义集有最小有限支持的定义或使用的概念，而不是有限的。
英文摘要：
The existence of least finite support is used throughout the subject of nominal sets. In this paper we give some Brouwerian counterexamples showing that constructively, least finite support does not always exist and in fact can be quite badly behaved. On this basis we reinforce the point that when working constructively with nominal sets the use of least finite support should be avoided. Moreover our examples suggest that this problem can't be fixed by requiring nominal sets to have least finite support by definition or by using the notion of subfinite instead of finite.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
