Localization of a theorem of Ambos-Spies and the strong anti-splitting property

DOI10.1007/BF02017497zbMath0634.03033OpenAlexW2009368296MaRDI QIDQ3772195

Rodney G. Downey

Publication date: 1987

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138057

zbMATH Keywords

capcontiguous degreesweak truth table degreescupstrong antisplitting property

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Related Items

Maximal contiguous degrees ⋮ Intervals and sublattices of the r.e. weak truth table degrees. I: Density ⋮ Classification of degree classes associated with r.e. subspaces ⋮ An excursion to the Kolmogorov random strings ⋮ Minimal pairs in initial segments of the recursively enumerable degrees ⋮ Contiguity and distributivity in the enumerable Turing degrees ⋮ Splitting theorems and the jump operator

Cites Work

• Unnamed Item
• Structural interactions of the recursively enumerable T- and W-degrees
• An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees
• Wtt-degrees and T-degrees of r.e. sets
• The Degrees of R.E. Sets Without the Universal Splitting Property
• The universal splitting property. II
• Anti‐Mitotic Recursively Enumerable Sets
• Splitting properties of r.e. sets and degrees
• Cupping and noncapping in the r.e. weak truth table and turing degrees
• T-Degrees, Jump Classes, and Strong Reducibilities
• Degree theoretical splitting properties of recursively enumerable sets
• The weak truth table degrees of recursively enumerable sets
• The infinite injury priority method