打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
非递归BMS分析
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
Optimism
(
留言
|
贡献
)
2025年7月20日 (日) 08:23的版本
(Ω)
(
差异
)
←上一版本
|
最后版本
(
差异
) |
下一版本→
(
差异
)
本条目展示
非递归BMS
和其他非递归记号的列表分析
1
非递归BMS
其他记号
∅
0
(
1
)
1
(
1
)
(
1
)
2
(
1
)
(
2
)
ω
(
1
)
(
2
)
(
1
)
ω
+
1
(
1
)
(
2
)
(
2
)
ω
2
(
1
)
(
2
)
(
3
)
ω
ω
(
1
)
(
2
,
1
)
ε
0
(
1
)
(
2
,
1
,
1
)
ψ
(
Ω
ω
)
(
1
,
1
)
Ω
2
非递归BMS
其他记号
(
1
,
1
)
Ω
(
1
,
1
)
(
1
)
Ω
+
1
(
1
,
1
)
(
1
)
(
2
)
Ω
+
ω
(
1
,
1
)
(
1
)
(
2
,
1
)
Ω
+
ε
0
(
1
,
1
)
(
1
)
(
2
,
1
,
1
)
Ω
+
ψ
(
Ω
ω
)
(
1
,
1
)
(
1
,
1
)
Ω
×
2
(
1
,
1
)
(
1
,
1
)
(
1
,
1
)
Ω
×
3
(
1
,
1
)
(
2
)
Ω
×
ω
(
1
,
1
)
(
2
)
(
1
,
1
)
Ω
×
ω
+
Ω
(
1
,
1
)
(
2
)
(
2
)
Ω
×
ω
2
(
1
,
1
)
(
2
)
(
3
,
1
,
1
)
Ω
×
ψ
(
Ω
ω
)
(
1
,
1
)
(
2
,
1
)
Ω
2
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
Ω
2
×
2
(
1
,
1
)
(
2
,
1
)
(
2
)
Ω
2
×
ω
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
,
1
)
Ω
2
×
ψ
(
Ω
ω
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
Ω
3
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
,
1
)
Ω
4
(
1
,
1
)
(
2
,
1
)
(
3
)
Ω
ω
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
,
1
)
Ω
ψ
(
Ω
ω
)
(
1
,
1
)
(
2
,
1
)
(
3
,
1
)
Ω
Ω
(
1
,
1
)
(
2
,
1
)
(
3
,
1
)
(
4
,
1
)
Ω
Ω
Ω
(
1
,
1
)
(
2
,
2
)
ψ
1
(
Ω
2
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
ψ
1
(
Ω
2
+
Ω
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
2
,
1
)
ψ
1
(
Ω
2
+
Ω
×
2
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
)
ψ
1
(
Ω
2
+
Ω
×
ω
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
,
1
)
ψ
1
(
Ω
2
+
Ω
2
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
,
2
)
ψ
1
(
Ω
2
+
ψ
1
(
Ω
2
)
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
,
2
)
(
2
,
1
)
(
3
,
2
)
ψ
1
(
Ω
2
+
ψ
1
(
Ω
2
)
×
2
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
,
2
)
(
3
)
ψ
1
(
Ω
2
+
ψ
1
(
Ω
2
+
1
)
)
(
1
,
1
)
(
2
,
2
)
(
2
,
1
)
(
3
,
2
)
(
3
,
1
)
(
4
,
2
)
ψ
1
(
Ω
2
+
ψ
1
(
Ω
2
+
ψ
1
(
Ω
2
)
)
)
(
1
,
1
)
(
2
,
2
)
(
2
,
2
)
ψ
1
(
Ω
2
×
2
)
(
1
,
1
)
(
2
,
2
)
(
3
)
ψ
1
(
Ω
2
×
ω
)
(
1
,
1
)
(
2
,
2
)
(
3
,
1
)
(
4
,
2
)
ψ
1
(
Ω
2
×
ψ
1
(
Ω
2
)
)
(
1
,
1
)
(
2
,
2
)
(
3
,
2
)
ψ
1
(
Ω
2
2
)
(
1
,
1
)
(
2
,
2
)
(
3
,
2
)
(
4
,
2
)
ψ
1
(
Ω
2
Ω
2
)
(
1
,
1
)
(
2
,
2
)
(
3
,
3
)
ψ
1
(
Ω
3
)
(
1
,
1
)
(
2
,
2
,
1
)
ψ
1
(
Ω
ω
)
(
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
ψ
1
(
Ω
ω
2
)
(
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
4
,
1
)
ψ
1
(
Ω
Ω
)
(
1
,
1
)
(
2
,
2
,
1
,
1
)
ψ
1
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
Ω
2
3
非递归BMS
其他记号
(
1
,
1
,
1
)
Ω
2
(
1
,
1
,
1
)
(
1
,
1
)
Ω
2
+
Ω
(
1
,
1
,
1
)
(
1
,
1
)
(
2
,
2
,
1
,
1
)
Ω
2
+
ψ
1
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
1
,
1
,
1
)
Ω
2
×
2
(
1
,
1
,
1
)
(
2
)
Ω
2
×
ω
(
1
,
1
,
1
)
(
2
,
1
)
Ω
2
×
Ω
(
1
,
1
,
1
)
(
2
,
1
)
(
2
,
1
)
Ω
2
×
Ω
2
(
1
,
1
,
1
)
(
2
,
1
)
(
3
,
2
)
Ω
2
×
ψ
1
(
Ω
2
)
(
1
,
1
,
1
)
(
2
,
1
)
(
3
,
2
,
1
,
1
)
Ω
2
×
ψ
1
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
1
,
1
)
Ω
2
2
(
1
,
1
,
1
)
(
2
,
1
,
1
)
(
2
,
1
,
1
)
Ω
2
3
(
1
,
1
,
1
)
(
2
,
1
,
1
)
(
3
,
1
,
1
)
Ω
2
Ω
2
(
1
,
1
,
1
)
(
2
,
2
)
ψ
2
(
Ω
3
)
(
1
,
1
,
1
)
(
2
,
2
)
(
2
,
1
,
1
)
(
3
,
2
)
ψ
2
(
Ω
3
+
ψ
2
(
Ω
3
)
)
(
1
,
1
,
1
)
(
2
,
2
)
(
2
,
2
)
ψ
2
(
Ω
3
×
2
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
1
,
1
)
(
4
,
2
)
ψ
2
(
Ω
3
×
ψ
2
(
Ω
3
)
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
2
)
ψ
2
(
Ω
3
2
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
3
)
ψ
2
(
Ω
4
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
3
,
1
)
ψ
2
(
Ω
ω
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
3
,
1
)
(
4
,
3
,
1
)
(
5
,
1
)
ψ
2
(
Ω
Ω
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
3
,
1
)
(
4
,
3
,
1
)
(
5
,
1
,
1
)
ψ
2
(
Ω
Ω
2
)
(
1
,
1
,
1
)
(
2
,
2
)
(
3
,
3
,
1
,
1
)
ψ
2
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
Ω
3
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
)
Ω
3
×
Ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
Ω
3
×
Ω
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
2
,
1
,
1
)
Ω
3
×
Ω
2
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
)
Ω
3
×
ψ
2
(
Ω
3
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
)
(
3
,
2
)
Ω
3
×
ψ
2
(
Ω
3
×
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
)
(
4
,
3
)
Ω
3
×
ψ
2
(
Ω
4
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
)
(
4
,
3
,
1
,
1
)
Ω
3
×
ψ
2
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
Ω
3
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
Ω
3
3
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
(
3
)
Ω
3
ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
Ω
3
Ω
3
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
)
ψ
3
(
Ω
4
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
)
(
2
,
2
)
ψ
3
(
Ω
4
×
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
)
(
3
,
3
,
1
)
ψ
3
(
Ω
ω
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
)
(
3
,
3
,
1
,
1
)
ψ
3
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
,
1
)
Ω
4
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
2
,
2
,
1
)
(
2
,
2
,
1
)
Ω
5
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
)
Ω
ω
4
非递归BMS
其他记号
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
)
Ω
ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
Ω
Ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
Ω
Ω
×
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
(
3
,
1
)
Ω
Ω
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
(
4
,
2
)
Ω
ψ
1
(
Ω
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
)
(
4
,
2
,
1
,
1
)
Ω
ψ
1
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
Ω
Ω
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
)
Ω
ψ
2
(
Ω
3
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
)
(
5
,
3
,
1
,
1
)
Ω
ψ
2
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
Ω
Ω
3
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
4
,
2
,
1
)
Ω
Ω
4
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
)
Ω
Ω
ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
1
,
1
)
Ω
Ω
Ω
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
1
,
1
)
(
6
,
2
,
1
)
Ω
Ω
Ω
3
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
1
,
1
)
(
6
,
2
,
1
)
(
7
)
Ω
Ω
Ω
ω
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
ψ
I
(
I
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
ψ
I
(
I
+
1
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
ψ
I
(
I
+
Ω
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
ψ
I
(
I
+
ψ
I
(
I
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
ψ
I
(
I
+
ψ
I
(
I
)
×
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
3
,
1
,
1
)
ψ
I
(
I
+
ψ
I
(
I
)
×
Ω
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
ψ
I
(
I
+
ψ
I
(
I
)
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
1
,
1
)
(
5
,
2
,
1
)
(
6
,
2
)
ψ
I
(
I
+
ψ
I
(
I
)
ψ
I
(
I
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
)
ψ
I
(
I
+
ψ
ψ
I
(
I
+
1
)
(
ψ
I
(
I
+
1
)
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
)
(
5
,
3
,
1
,
1
)
ψ
I
(
I
+
ψ
ψ
I
(
I
+
1
)
(
ω
−
p
r
o
j
.
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
,
1
)
ψ
I
(
I
+
ψ
I
(
I
+
1
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
,
1
)
(
4
,
2
,
1
)
ψ
I
(
I
+
ψ
I
(
I
+
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
,
1
)
(
5
)
ψ
I
(
I
+
ψ
I
(
I
+
ω
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
,
1
)
(
5
,
1
,
1
)
(
6
,
2
,
1
)
(
7
,
2
)
ψ
I
(
I
+
ψ
I
(
I
+
ψ
I
(
I
)
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
2
)
ψ
I
(
I
×
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
ψ
I
(
I
×
2
+
1
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
(
4
,
2
,
1
)
(
5
,
2
)
ψ
I
(
I
×
2
+
ψ
I
(
I
×
2
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
2
)
(
2
,
2
,
1
)
(
3
,
2
)
ψ
I
(
I
×
3
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
3
)
ψ
I
(
I
×
ω
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
3
,
1
,
1
)
(
4
,
2
,
1
)
(
5
,
2
)
ψ
I
(
I
×
ψ
I
(
I
)
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
3
,
2
)
ψ
I
(
I
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
3
,
2
)
(
3
,
2
)
ψ
I
(
I
3
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
4
)
ψ
I
(
I
ω
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
4
,
2
)
ψ
I
(
I
I
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
4
,
3
)
ψ
I
(
Ω
I
+
1
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
)
(
4
,
3
,
1
,
1
)
ψ
I
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
I
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
1
,
1
)
(
3
,
2
,
1
)
(
4
,
2
,
1
)
I
2
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
2
)
ψ
Ω
I
+
1
(
Ω
I
+
1
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
2
)
(
3
,
3
)
ψ
Ω
I
+
1
(
Ω
I
+
2
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
2
)
(
3
,
3
,
1
)
ψ
Ω
I
+
1
(
Ω
I
+
ω
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
2
)
(
3
,
3
,
1
,
1
)
ψ
Ω
I
+
1
(
ω
−
p
r
o
j
.
)
(
1
,
1
,
1
)
(
2
,
2
,
1
)
(
3
,
2
,
1
)
(
2
,
2
,
1
)
Ω
I
+
1
最后修改时间
2025年7月20日 (星期日)
目录
返回顶部
目录
1
1
2
2
3
3
4
4
非递归BMS分析
来自Googology Wiki