file.pdf (95.84 kB)

An Effective Proof that Open Sets are Ramsey

Download (95.84 kB)
journal contribution
posted on 22.01.1996, 00:00 by Jeremy Avigad

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 .

Categories

Keywords

History

Publisher Statement

The original publication is available at www.springerlink.com.

Date

22/01/1996

Exports

Categories

Keywords

Exports