koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

因みに私は「昔自分が想定していたラヨ関数はZFC制限のないなくても戦え数でした」を上映中です

$
ψψ_ψψ_{ψ+ψ}ψ_ψψ_{ψ+ψ}=\psi(Ω_2\psi(\Omega_2))\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ}=\psi(Ω_2^2)\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ}ψ=\psi(Ω_2^\omega)\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ}ψ_ψ=\psi(Ω_2^\Omega)\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ}ψ_{ψ+ψ}=\psi(Ω_2^{Ω_2})\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ}ψ_{ψ+ψ}ψ_{ψ+ψ}=\psi(Ω_2^{Ω_2^{Ω_2}})\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ+ψ}=\psi(\epsilon_{Ω_2+1})=\psi(Ω_3)\\
ψψ_ψψ_{ψ+ψ}ψ_{ψ+ψ+ψ}ψ_{ψ+ψ+ψ+ψ}=\psi(\epsilon_{Ω_3+1})=\psi(Ω_4)\\
ψ_{ψψ}=\psi(Ω_\omega)\\
$

$
ψψ_ψψ_ψ(ψ_ψ+ψ_ψ)=\varphi(1,0,0,0)=\psi(Ω^{Ω^2})\\
ψψ_ψψ_ψ(ψ_ψ+ψ_ψ+ψ_ψ)=\varphi(1,0,0,0,0)=\psi(Ω^{Ω^3})\\
ψψ_ψψ_ψψ_ψψ=\psi(Ω^{Ω^ω})\\
ψψ_ψψ_ψψ_ψψψ=\psi(Ω^{Ω^{ω^ω}})\\
ψψ_ψψ_ψψ_ψψ_ψ=\psi(Ω^{Ω^Ω})\\
ψψ_ψψ_ψψ_ψψ_ψψ_ψ=\psi(Ω^{Ω^{Ω^Ω}})\\
ψψ_ψψ_{ψ+ψ}=\psi(\epsilon_{Ω+1})=\psi(Ω_2)\\
ψ(ψ_ψψ_{ψ+ψ}+ψ)=\psi(Ω_2+1)\\
ψψ_ψ(ψ_{ψ+ψ}+ψψ_ψ)=\psi(Ω_2+Ω)\\
ψ(ψ_ψψ_{ψ+ψ}+ψ_ψψ_{ψ+ψ})=\psi(Ω_2+ψ(Ω_2))\\
ψψ_ψ(ψ_{ψ+ψ}+ψ_{ψ+ψ})=\psi(Ω_22)\\
ψψ_ψψ_{ψ+ψ}ψ=\psi(Ω_2\omega)\\
ψψ_ψψ_{ψ+ψ}ψ_ψ=\psi(Ω_2\Omega)\\
$

$ψψ_ψ=ε_0\\
ψψ_ψψ_ψ=ζ_0\\
ψψ_ψ(ψ_ψ+ψ_ψ)=η_0\\
ψψ_ψ(ψ_ψ+ψ_ψ+ψ_ψ)=φ(4,0)\\
ψψ_ψψ_ψψ=φ(ω,0)\\
ψ(ψ_ψψ_ψψ+ψ_ψψ_ψψ)=φ(ω,1)\\
ψψ_ψ(ψ_ψψ+ψ)=φ(ω,ω)\\
ψψ_ψ(ψ_ψψ+ψ_ψ)=φ(ω+1,0)\\
ψψ_ψψ_ψ(ψ+ψ)=φ(ω^2,0)\\
ψψ_ψψ_ψψψ=φ(ω^ω,0)\\
ψψ_ψψ_ψψψψ=φ(ω^{ω^ω},0)\\
ψψ_ψψ_ψψψ_ψ=φ(φ(1,0),0)\\
ψψ_ψψ_ψψψ_ψψ_ψψψ_ψ=φ(φ(φ(1,0),0),0)\\
ψψ_ψψ_ψψ_ψ=\Gamma_0=\psi(Ω^Ω)$

$ψψ_ψ=ε_0\\
ψψ_ψ+ψψ_ψ=ε_02\\
ψ(ψ_ψ+ψ)=ε_0ω\\
ψ(ψ_ψ+ψ+ψ)=ε_0ω^2\\
ψ(ψ_ψ+ψψ)=ε_0ω^ω\\
ψ(ψ_ψ+ψψψ)=ε_0ω^{ω^ω}\\
ψ(ψ_ψ+ψψ_ψ)=ε_0^2\\
ψ(ψ_ψ+ψψ_ψ+ψψ_ψ)=ε_0^3\\
ψ(ψ_ψ+ψ(ψ_ψ+ψ))=ε_0^ω\\
ψ(ψ_ψ+ψ(ψ_ψ+ψ(ψ_ψ+ψ)))=ε_0^{ε_0^ω}\\
ψ(ψ_ψ+ψ_ψ)=ε_1\\
ψ(ψ_ψ+ψ_ψ+ψ_ψ)=ε_2\\
ψψ_ψψ=ε_ω\\
ψ(ψ_ψψ+ψ_ψ)=ε_{ω+1}\\
ψψ_ψ(ψ+ψ)=ε_{ω2}\\
ψψ_ψψψ_ψ=ε_{ε_0}\\
ψψ_ψψψ_ψψψ_ψ=ε_{ε_{ε_0}}\\
ψψ_ψψ_ψ=ζ_0$

$∅ =0\\
ψ =1\\
ψ+ψ =2\\
ψψ =ω\\
ψψ+ψ =ω+1\\
ψψ+ψψ =ω2\\
ψ(ψ+ψ) =ω^2\\
ψ(ψ+ψ)+ψ(ψ+ψ) =ω^22\\
ψ(ψ+ψ+ψ) =ω^3\\
ψψψ =ω^ω\\
ψψψ+ψ =ω^ω+1\\
ψ(ψψ+ψ) =ω^{ω+1}\\
ψψ(ψ+ψ) =ω^{ω^2}\\
ψψψψ =ω^{ω^ω}\\
ψ_ψ =ε_0$

GWIKIのコメント欄を読む機械と化したGoogoldon

どの定義の話をしているのか分かりませんのでURLを貼ってもらえませんか。

@KurohaKafka 「後者」の意味が分かりませんでした。「バシク行列数」は1つしかないと思います。バシク「超」行列数のことですか?

やっとBM2のΔの足し方を理解できたのに…

hypcosさんの googology.wikia.com/wiki/Talk: に対する修正、つまり BM2 ですが、「たとえ bad part であっても bad root の子孫ではないノードにはΔは足さない」で合ってますか? googoldon.net/media/5uPv-cN49A

And his original(?) OCF $\Psi$
$Ψ(n)=ω^n$
$Ψ(Ω\cdot n)=Ω_n$
$Ψ(φ_0(Ω+n))=Ω_{ω^n}$
$Ψ(φ_0(Ω+Ψ(φ_0(Ω\cdot 2)+n)))=ψ_I(n)$
$Ψ(φ_0(Ω+Ψ(φ_0(Ω\cdot 2+n))))=I_n$
$Ψ(φ_0(Ω\cdot (n+2)))=χ(n,0)$

He say
$(0,0,0)(1,1,1)(2,2,2)=
\psi_\Omega(\psi_I(\chi(\omega,0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)=
\psi_\Omega(\psi_I(\chi(\phi_0(\phi_0(1)),0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,0)=
\psi_\Omega(\psi_I(M,0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,1)=
\psi_\Omega(\psi_I(M_\omega,0)))=
\Psi(\Psi(\phi_0(\phi_0(\Omega+\omega))))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)=
\Psi(\Psi(\phi_0(\phi_0(\phi_0(\Omega+1)))))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,4,0)=
\Psi(\Psi(\phi_1(\Omega+1)))))
$

Bashicu also revised his BMS evaluation in Japanese large number wiki bit.ly/2LWLbup

koteitan boosted

after thinking more about this it seems that (0,0,0)(1,1,1)(2,2,2)(3,3,2)(2,1,0)(3,2,0) might be the PTO of Pi^1_2-CA+BI