Finite cupping sets

Lewis-Pye, Andrew (2004) Finite cupping sets. Archive for Mathematical Logic, 43 (7). pp. 845-858. ISSN 0933-5846
Copy

We show that given any (Turing) degree 0<c≤0’ and any uniformly Δ2 sequence of degrees b 0 ,b 1 ,b 2 ,.. such that ∀i(b i ≱ c), there exists 0<a<0’ such that for all i≥0, a∨b i ≱ c. If c is c.e. and b 0 ,b 1 ,b 2 ,.. are uniformly (strictly) below c then there exists such an a below c.

Full text not available from this repository.

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads