Morley定理关于可数模型数量的一个不可判定扩展
摘要：莫里定理在可数一阶逻辑理论中关于可数模型数目的陈述在扩展到二阶逻辑时变成一个不可判定的命题。更一般地，我们计算了几个集合论模型中'sigma'-投影等价关系的等价类数目。我们的方法包括随机和科恩强制，伍丁基数和内模理论。
作者：Christopher J. Eagle and Clovis Hamel and Sandra M"uller and Franklin D. Tall
论文ID：2107.07636
分类：Logic
分类简称：math.LO
提交时间：2023-07-06