关于无点空间构造理论的一些特殊问题
On some peculiar aspects of the constructive theory of point-free spaces
摘要：
本文给出了几个关于locale的拓扑有效和直觉（广义）谓词理论的独立性结果。特别是，某些后果的一致性的一般形式的Troelstra的一致性原则与建设性的集合论和类型理论进行检查。
英文摘要：
This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle with constructive set theory and type theory are examined.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
