A Δ20 set with no infinite low subset in either it or its complement

, , &
Journal of Symbolic Logic 66 (3):1371-1381 (2001)
  Copy   BIBTEX

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 RCA 0 + SRT 2 2 must contain a nonlow set

Categories

Keywords

Reprint years

DOI

10.2307/2695113

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A $\delta^0_2$ Set With No Infinite Low Subset In Either It Or Its Complement.Rod Downey, Denis Hirschfeldt, Steffen Lempp & Reed Solomon - 2001 - Journal of Symbolic Logic 66 (3):1371-1381.
Stability and Posets.Carl G. Jockusch, Bart Kastermans, Steffen Lempp, Manuel Lerman & Reed Solomon - 2009 - Journal of Symbolic Logic 74 (2):693-711.
A Characterization of the $\Delta _{2}^{0}$ Hyperhyperimmune Sets.Roland Sh Omanadze & Andrea Sorbi - 2008 - Journal of Symbolic Logic 73 (4):1407 - 1415.
A characterization of the Δ⁰₂ hyperhyperimmune sets.Roland Sh Omanadze & Andrea Sorbi - 2008 - Journal of Symbolic Logic 73 (4):1407-1415.
On quasi-amorphous sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.
The fine structure of the intuitionistic borel hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.
The spectrum of maximal independent subsets of a Boolean algebra.J. Donald Monk - 2004 - Annals of Pure and Applied Logic 126 (1-3):335-348.
$\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions.Benoit Monin & Ludovic Patey - 2019 - Notre Dame Journal of Formal Logic 60 (1):1-12.
Co-immune subspaces and complementation in V∞.R. Downey - 1984 - Journal of Symbolic Logic 49 (2):528 - 538.
Combinatorial Properties of the Ideal B2.J. Cichoń, A. Rosłanowski, J. Steprans & B. Węglorz - 1993 - Journal of Symbolic Logic 58 (1):42 - 54.
A note on defining groups in stable structures.Frank O. Wagner - 1994 - Journal of Symbolic Logic 59 (2):575-578.
An isolic generalization of Cauchy's theorem for finite groups.J. C. E. Dekker - 1990 - Archive for Mathematical Logic 29 (4):231-236.
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.
On the Boolean algebras of definable sets in weakly o‐minimal theories.Stefano Leonesi & Carlo Toffalori - 2004 - Mathematical Logic Quarterly 50 (3):241-248.
Immunity properties and strong positive reducibilities.Irakli O. Chitaia, Roland Sh Omanadze & Andrea Sorbi - 2011 - Archive for Mathematical Logic 50 (3-4):341-352.

Analytics

Added to PP
2009-01-28

Downloads
83 (#201,138)

6 months
40 (#96,780)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Primitive Recursion and the Chain Antichain Principle.Alexander P. Kreuzer - 2012 - Notre Dame Journal of Formal Logic 53 (2):245-265.
Partition theorems and computability theory.Joseph R. Mileti - 2005 - Bulletin of Symbolic Logic 11 (3):411-427.
Degrees bounding principles and universal instances in reverse mathematics.Ludovic Patey - 2015 - Annals of Pure and Applied Logic 166 (11):1165-1185.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references