User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-25337554-20180410043605

Why do you use phi function? In your definition, it iooks like ψ_0(0)=Γ_0 but is that correct?