Splitting theorems and the jump operator

DOI10.1016/S0168-0072(97)00066-3MaRDI QIDQ1295399zbMATH OpenOpenAlexFDO

Authors Richard A. Shore, Rodney G. Downey

Publication date 8 November 1999

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(97)00066-3

zbMATH Keywords

degreeshigh computably enumerable setproper splittings

Mathematics Subject Classification ID

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

Review text

Two sets \(A_1\) and \(A_2\) split \(A\) (written: \(A=A_1\sqcup A_2\)) if \(A=A_1\cup A_2\), and \(A_1\cap A_2=\emptyset\). This splitting is called proper if both \(A_1\) and \(A_2\) are noncomputable. J. B. Remmel asked if a high computably enumerable (c.e.) set can be split into two (c.e.) sets one of which is high. The authors give a negative answer to this question by constructing a high c.e. set all of whose proper splittings consist of \(\text{low}_2\) c.e. sets.

Recommendations

• Splitting theorem, Poincaré--Hopf theorem and jumping nonlinear problems
• Operator splittings and their analysis
• Splitting of operators and operator equations
• The splitting property for \((p,S)\)-summing operators
• Splittings of operators and generalized inverses
• Operator space structures and the split property II
• The splitting of operator algebras. II
• scientific article; zbMATH DE number 1092814
• scientific article; zbMATH DE number 4127662
• Splitting of operators for frame inequalities

Cites work

• Anti‐Mitotic Recursively Enumerable Sets
• Classical recursion theory. Vol. II
• Completely mitotic r. e. degrees
• Degree theoretical splitting properties of recursively enumerable sets
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• Jumps of nontrivial splittings of recursively enumerable sets
• Localization of a theorem of Ambos-Spies and the strong anti-splitting property
• Mitotic recursively enumerable sets
• Splitting theorems in recursion theory
• The universal splitting property. II

Cited in

(8)

• A survey of results on the d-c.e. and n-c.e. degrees
• On splits of computably enumerable sets
• Introduction to autoreducibility and mitoticity
• Definable incompleteness and Friedberg splittings
• Jumps of nontrivial splittings of recursively enumerable sets
• scientific article; zbMATH DE number 1092814 (Why is no real title available?)
• Splitting theorems and low degrees
• Splittings of effectively speedable sets and effectively levelable sets

This page was built for publication: Splitting theorems and the jump operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295399)