User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-25337554-20190430225322

>I am looling forword to seeing the formulation up to Ω_4.

Look at the section "Up to Ω_ω," but \(\mathbb{N}=\)... Wait, does that contain 0?