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

APO:修订间差异

来自Googology Wiki
YourCpper留言 | 贡献
创建页面,内容为“APO(Admissible-Parameter free effective cardinal Ordinal),是pfec稳定和adm稳定的分歧点。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\Pi_1(\lambda\alpha.\Omega_{\alpha+1}-\Pi_1))</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\Omega_{\alpha+1},1)\times\omega))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T+\psi_{\Omega_{T+1}}(\Omega_{T+1}^T+1))</math> |- |BMS |<math>(0)(1,…”
 
Tabelog留言 | 贡献
无编辑摘要
 
第1行: 第1行:
APO(Admissible-Parameter free effective cardinal Ordinal),是pfec[[稳定序数|稳定]]和adm稳定的分歧点。
APO(Admissible-Parameter free effective cardinal Ordinal),是 [[Σ1稳定序数#Non-Gandy 现象|pfec 稳定和 adm 稳定]]的分歧点。
{| class="wikitable"
{| class="wikitable"
![[序数记号]]
![[序数记号]]
第29行: 第29行:
|}
|}


== 性质 ==
=== 性质 ===
是pfec[[稳定序数|稳定]]和adm稳定的分歧点,在<math>\lambda\alpha.\Omega_{\alpha+1}-\Pi_1</math>之后,[[稳定序数]]将会因为出现[[Σ1稳定序数#Non-Gandy 现象|Non-Gandy效应]]而大幅增强。同时也是永进稳定和非永进稳定的分歧点。
极限在此处的记号:adm PrSS


<math>\lambda\alpha.\Omega_{\alpha+1}-\Pi_1</math>曾经被误认为是[[Dropping Hydra|2-Dropping]]序数,然而后来的扽西表名这实际上是<math>\lambda\alpha.\Omega_{\alpha+2}-\Pi_1</math>。
 
是 [[Σ1稳定序数#Non-Gandy 现象|pfec 稳定和 adm 稳定]]的分歧点,在 <math>\lambda\alpha.\Omega_{\alpha+1}-\Pi_1</math> 之后,[[稳定序数]] 将会因为出现 [[Σ1稳定序数#Non-Gandy 现象|Non-Gandy 效应]]而大幅增强。同时也是永进稳定和非永进稳定的分歧点。
 
<math>\lambda\alpha.\Omega_{\alpha+1}-\Pi_1</math> 曾经被误认为是 [[Dropping Hydra|2-Dropping]] 序数,然而后来的扽西表明这实际上是 <math>\lambda\alpha.\Omega_{\alpha+2}-\Pi_1</math>。
[[分类:序数]]

2025年8月7日 (四) 23:22的最新版本

APO(Admissible-Parameter free effective cardinal Ordinal),是 pfec 稳定和 adm 稳定的分歧点。

序数记号 表达式
稳定序数 ψ(Π1(λα.Ωα+1Π1))
投影序数 ψ(ψα(φ(Ωα+1,1)×ω))
UNOCF ψ(ΩT+1T+ψΩT+1(ΩT+1T+1))
BMS (0)(1,1,1)(2,2)(3,2)(4,1,1)
0-Y 1,4,8,12,15
1-Y 1,2,4,8,13,18,22
Ex-hydra p1(p3(p4(p4(p3))))
Fake Fake Fake Zeta ψZ[ε1](φ(ε0,0))

性质

极限在此处的记号:adm PrSS


pfec 稳定和 adm 稳定的分歧点,在 λα.Ωα+1Π1 之后,稳定序数 将会因为出现 Non-Gandy 效应而大幅增强。同时也是永进稳定和非永进稳定的分歧点。

λα.Ωα+1Π1 曾经被误认为是 2-Dropping 序数,然而后来的扽西表明这实际上是 λα.Ωα+2Π1