OpenAlex
A comparison of well-known ordinal notation systems for ε0
Work