19:4019:40, 2 May 2024diffhist−311
Ordinal collapsing function
Removed ψ_Ω(Ω) from the list of example values at Arai's ψ as it was wrongfully stated to be ε_0. The Skolum hull used in the definition of Arai's ψ is closed under the binary Veblen function, ψ_Ω(Ω) would thus be equal to φ(1,1,0) = β_0.
19:4019:40, 2 May 2024diffhist−311
Ordinal collapsing function
Removed ψ_Ω(Ω) from the list of example values at Arai's ψ as it was wrongfully stated to be ε_0. The Skolum hull used in the definition of Arai's ψ is closed under the binary Veblen function, ψ_Ω(Ω) would thus be equal to φ(1,1,0) = β_0.