file.pdf (95.84 kB)
0/0

An Effective Proof that Open Sets are Ramsey

Download (95.84 kB)
journal contribution
posted on 22.01.1996 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

Keyword(s)

History

Publisher Statement

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

Date

22/01/1996

Exports

Categories

Keyword(s)

Exports