薄葉季路的结果同时被作为单一宇宙观代表的Woodin以及作为多宇宙观代表的Hamkins喝彩。
前者将其看作是一个非常强烈的信号,指示存在着典范的集合论宇宙,它同时具有力迫不变性和保持对大基数的解释力这两条良好的性质。
后者将其视作对集合论复宇宙研究的一个典范成果,它大幅推进 了我们对ZFC泛型复宇宙结构的理解,同时他又没有削减这个复宇宙的丰富性(任何ZFC模型都可以是地幔)。
Hamkins关于基于顶扩张的潜在系统模态性质的研究与他关于其他集合论复宇宙子结构的研究一样,意在展示复宇宙的丰富性与复杂性。
为了维持实在论的立场同时摆脱传统单一宇宙观的统领, 集合论多宇宙观的拥护者总试图通过展示复宇宙的丰富性来揭示人们关于“集合”的概念是不清晰的, 甚至并不存在“真正的集合概念”。
可见,有关集合论多宇宙观的研究仍然紧密围绕着这些经典的本体论问题。
在其中,来自形式主义的启发、助探和事后的解释是缺位的。
作者:杨睿之
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。