Date of Original Version

1-22-1996

Type

Article

Rights Management

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 .

DOI

10.1007/s001530050095

Included in

Philosophy Commons

Share

COinS