On the ∀∃-sentences of α-recursion theory, in Generalized Recursion Theory (0)

by R A Shore
Venue:Studies in Logic and the Foundations of Mathematics 94