打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

讨论:序数坍缩函数:修订间差异

序数坍缩函数的讨论页面
CGoL在话题“我有一个问题”中的最新留言:2026年7月10日 (星期五)
Testtesttesttest留言 | 贡献
我有一个问题:​ 回复
CGoL留言 | 贡献
我有一个问题:​ 回复
 
(未显示2个用户的2个中间版本)
第4行: 第4行:


:如果这样改的话,那么所有的大小都只有阿列夫0那么大了,领域就直接变成小众的了,曾经还能跟集合论建立一个关系 [[用户:Testtesttesttest|Testtesttesttest]]([[用户讨论:Testtesttesttest|留言]]) 2026年7月7日 (二) 06:53 (CST)
:如果这样改的话,那么所有的大小都只有阿列夫0那么大了,领域就直接变成小众的了,曾经还能跟集合论建立一个关系 [[用户:Testtesttesttest|Testtesttesttest]]([[用户讨论:Testtesttesttest|留言]]) 2026年7月7日 (二) 06:53 (CST)
::ω_1^CK是ω经过递归运算无法达到的,已经够大了 [[用户:CGoL|CGoL]]([[用户讨论:CGoL|留言]]) 2026年7月10日 (五) 10:45 (CST)
:可数序数的高度能反映大基数层级的高度 [[用户:Asheep233|Asheep233]]([[用户讨论:Asheep233|留言]]) 2026年7月8日 (三) 01:01 (CST)
{{分类:记号}}

2026年7月10日 (五) 10:45的最新版本

我有一个问题

这里的Ω已经被改成了ω_1^CK,会不会导致圈子内的所有东西都是可数的,从而导致这个领域的大小只能原地踏步,最后让整个领域直接废掉? Testtesttesttest留言2026年7月2日 (四) 16:05 (CST)回复

如果这样改的话,那么所有的大小都只有阿列夫0那么大了,领域就直接变成小众的了,曾经还能跟集合论建立一个关系 Testtesttesttest留言2026年7月7日 (二) 06:53 (CST)回复
ω_1^CK是ω经过递归运算无法达到的,已经够大了 CGoL留言2026年7月10日 (五) 10:45 (CST)回复
可数序数的高度能反映大基数层级的高度 Asheep233留言2026年7月8日 (三) 01:01 (CST)回复