Similar Items: A Ghost at $omega_1$
- The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
- Ambiguity of {omega}-Languages of Turing Machines
- Good-for-games $omega$-Pushdown Automata
- A coalgebraic take on regular and $omega$-regular behaviours
- Families of DFAs as Acceptors of $omega$-Regular Languages
- Weighted omega-Restricted One Counter Automata