OFP 3-var ψ Implementation
Back
Abbreviate:
ψ_0(0,0)→1
1+...+1→n
ψ_0(0,1)→ω
ψ(s,t,u)→ψ_s(t,u)
ψ_0(t,u)→ψ(t,u)
ψ_0(0,u)→ψ(u)
Details:
...
Definition of "OFP 3-var ψ"
(
en
) by Kanrokoti, Retrieved 2023/01/10
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/OFP3varPsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2023/01/10