Publication | Closed Access
A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement
32
Citations
1
References
2001
Year
Infinite Low SubsetNonlow SetEffective ContentExtremal Set TheorySet-theoretic TopologyModel TheoryFoundation Of MathematicsDiscrete MathematicsPartially Ordered Setω -Model
Abstract We construct the set of the title, answering a question of Cholak, Jockusch. and Slaman [1], and discuss its connections with the study of the proof-theoretic strength and effective content of versions of Ramsey's Theorem. In particular, our result implies that every ω -model of must contain a nonlow set.
| Year | Citations | |
|---|---|---|
Page 1
Page 1