Dive deeper into Feferman–Schütte ordinal
New Tab
Dive deeper into Computable ordinal
New Tab