Date of Original Version
The original publication is available at www.springerlink.com.
Abstract or Description
Solovay has shown that if O is an open subset of P(ω) with code S and no infinite set avoids O , then there is an infinite set hyperarithmetic in S that lands in O . We provide a direct proof of this theorem that is easily formalizable in ATR0 .