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

strict fz分析Part1:修订间差异

来自Googology Wiki
积分元素.留言 | 贡献
无编辑摘要
标签手工回退 可视化编辑
积分元素.留言 | 贡献
无编辑摘要
第90行: 第90行:


<math>\psi[\omega^\omega](\varepsilon_0)=(0)(1,1)(2,1)(3)(4,1)</math>
<math>\psi[\omega^\omega](\varepsilon_0)=(0)(1,1)(2,1)(3)(4,1)</math>
<math>\color{orange}\psi[\omega^\omega](\omega^{\omega^{\psi[\omega^\omega](\omega^\omega)}})=\psi[\omega^\omega](\psi[\omega^\omega](\omega^\omega))=(0)(1,1)(2,1)(3)(4,1)(5,1)(6)</math>
<math>\color{red}\psi(\omega^\omega)=(0)(1,1)(2,1)(3,1)</math>

2026年7月7日 (二) 21:17的版本

以下使用strict fz和BMS对照分析,用ψ简称ψZS(strict fz的符号,S即strict)

ψ(0)=1

ψ(1)=ω

ψ[ω](ω)=ωω

ψ[ω](ψ[ω](ω))=ωωω

ψ(ω)=(0)(1,1)

ψ(ω+1)=(0)(1,1)(1)

ψ[ω×2](ω×2)=(0)(1,1)(1)(2)

ψ[ω×2](ε0)=(0)(1,1)(1)(2,1)

ψ(ω×2)=(0)(1,1)(1,1)

ψ[ω2](ω2)=(0)(1,1)(2)

ψ[ω2,ω2+ω](ω2+ω)=(0)(1,1)(2)(1)(2)

ψ[ω2](ω2+ω)=(0)(1,1)(2)(1,1)

ψ[ω2](ω2+ω×2)=(0)(1,1)(2)(1,1)(1,1)

ψ[ω2](ω2+ω)=(0)(1,1)(2)(1,1)(2)

ψ[ω2](ω2×2)=(0)(1,1)(2)(2)

ψ[ω2](ω3)=(0)(1,1)(2)(3)

ψ[ω2](ωω)=(0)(1,1)(2)(3)(4)

ψ[ω2](ε0)=(0)(1,1)(2)(3,1)

ψ[ω2](ψ[ω2](ω2))=(0)(1,1)(2)(3,1)(4)

ψ[ω2](ψ[ω2](ψ[ω2](ω2)))=(0)(1,1)(2)(3,1)(4)(5,1)(6)

ψ(ω2)=(0)(1,1)(2,1)

ψ(ω2×2)=(0)(1,1)(2,1)(1,1)(2,1)

ψ(ω2×3)=(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)

ψ[ω3](ω3)=(0)(1,1)(2,1)(2)

ψ[ω3](ε0)=(0)(1,1)(2,1)(2)(3,1)

ψ(ω3)=(0)(1,1)(2,1)(2,1)

ψ(ω4)=(0)(1,1)(2,1)(2,1)(2,1)

ψ[ωω](ωω)=(0)(1,1)(2,1)(3)

ψ[ωω,ωω+1](ωω+1)=(0)(1,1)(2,1)(3)(2)

ψ[ωω,ωω+1](ωω+1+ωω)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)(P.S.这里按照规则没有[ωω,ωω+1,ωω+1+ωω]提升,因为这个伪链不存在)

ψ[ωω,ωω+1](ωω+1×2)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)(2)

ψ[ωω,ωω+1](ωω+2)=(0)(1,1)(2,1)(3)(2)(2)

ψ[ωω,ωω+1](ε0)=(0)(1,1)(2,1)(3)(2)(3,1)

ψ[ωω,ωω+1](ψ[ωω,ωω+1](ωω+1))=(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)

ψ[ωω](ωω+1)=(0)(1,1)(2,1)(3)(2,1)

ψ[ωω,ωω+1×2](ωω+1×2)=(0)(1,1)(2,1)(3)(2,1)(1,1)(2,1)(3)(2)

ψ[ωω](ωω+1×2)=(0)(1,1)(2,1)(3)(2,1)(1,1)(2,1)(3)(2,1)

ψ[ωω,ωω+2](ωω+2)=(0)(1,1)(2,1)(3)(2,1)(2)

ψ[ωω](ωω+2)=(0)(1,1)(2,1)(3)(2,1)(2,1)

ψ[ωω](ωω+3)=(0)(1,1)(2,1)(3)(2,1)(2,1)(2,1)

ψ[ωω](ωω+4)=(0)(1,1)(2,1)(3)(2,1)(2,1)(2,1)(2,1)

ψ[ωω](ωω×2)=(0)(1,1)(2,1)(3)(2,1)(3)

ψ[ωω](ωω2)=(0)(1,1)(2,1)(3)(3)

ψ[ωω](ωωω)=(0)(1,1)(2,1)(3)(4)

ψ[ωω](ε0)=(0)(1,1)(2,1)(3)(4,1)