On the effective ω-rule

Warren D. Goldfarb. On the effective ω-rule. Math. Log. Q., 21(1):409-412, 1975. [doi]