OCF到底是怎么和IMK扯上关系的【葛立恒数二吧】

葛立恒数二吧关注：874贴子：67,662

从I出现开始就看不懂了

送TA礼物

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

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴