格值模型中的可构建集合：一项负面结果
摘要：在基于Intuitionistic集合论的Fitting工作的基础上，我们研究了Residuated逻辑中的不同集合论构造。我们从论述有价值的集合论模型中的可构建集合的一些结果开始。我们提出了构建宇宙的两个不同构造：$mathfrak{L}^{mathbb{Q}}$和$mathbb{L}^{mathbb{Q}}$，并证明它们分别与经典的von Neumann宇宙V和G"odel可构建宇宙L同构。尽管格值模型是研究非经典集合论（如直觉主义、残余、非矛盾集合论）的自然方式，但我们的结果证明了在比经典逻辑更弱的逻辑中，使用格值模型并不适合研究可构建性的概念。
作者：Jose Moncayo and Pedro H. Zambrano
论文ID：2306.01734
分类：Logic
分类简称：math.LO
提交时间：2023-06-05