file.pdf (95.84 kB)
Download file

An Effective Proof that Open Sets are Ramsey

Download (95.84 kB)
journal contribution
posted on 22.01.1996, 00:00 by Jeremy AvigadJeremy 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 .

History

Publisher Statement

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

Date

22/01/1996

Usage metrics

Categories

Keywords

Exports