葛立恒数二吧 关注:874贴子:67,662
  • 14回复贴,共1

OCF到底是怎么和IMK扯上关系的

只看楼主收藏回复

从I出现开始就看不懂了


IP属地:四川来自Android客户端1楼2024-07-31 21:31回复
    你说的是M氏还是B氏?


    IP属地:吉林来自Android客户端2楼2024-08-05 13:07
    收起回复
      因为要折叠序数。
      用Ω折叠ω,Ω₂折叠Ω,I折叠Ω…
      OCF的作用就是用高层次简单的序数来换取低层次复杂的序数,不过这种方式在TSSO就catching了,定义Ω折叠ω和Ω替换成ω的结果都是一样的。


      IP属地:广东来自Android客户端3楼2024-08-06 23:31
      收起回复
        因为我们需要序数的不可构造性 每一个系统不可构造的序数都可折叠出这个系统可构造的序数


        IP属地:江西4楼2024-11-18 17:20
        回复
          简单来说,就是我们要用更大的序数去折叠更小的序数


          IP属地:上海来自iPhone客户端5楼2024-11-26 00:25
          回复