1 problem

Let $\alpha$ be a computable limit ordinal, possibly with additional closure properties such as closure under addition. For an oracle $A$, let…