Subsets of hypersimple sets

DOI10.2140/PJM.1987.127.299MaRDI QIDQ1066890zbMATH OpenOpenAlexFDO

Authors Rodney G. Downey

Publication date 1987

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1987.127.299

zbMATH Keywords

automorphisms of the lattice of r.e. setslattice propertiespromptly simple setuniversal splitting property

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Review text

It is shown that lattice properties of r.e. sets can affect the degrees of splittings. In particular, if A is r.e. hypersimple then there exists an r.e. set B with \(\emptyset <_ TB<_ TA\) such that if \(A_ 1\coprod A_ 2=A\) is an r.e. splitting of A then \(A_ 1\not\equiv_ TB\). (That is, A does not have the universal splitting property.) It is also shown that this is - in a sense - the best possible result since there do exist (promptly) simple sets with the universal splitting property. This last result combines with one of Maass to show that the universal splitting property is not invariant under automorphisms of the lattice of r.e. sets.

Recommendations

• The universal splitting property. II
• The Degrees of R.E. Sets Without the Universal Splitting Property
• Splitting properties of r.e. sets and degrees
• scientific article; zbMATH DE number 4023250
• Effectively and Noneffectively Nowhere Simple Sets

Cited in

(15)

• A class of hypersimple incomplete sets
• Classification of degree classes associated with r.e. subspaces
• Index sets of classes of hyper-hypersimple sets
• Splitting theorems in recursion theory
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
• The Degrees of R.E. Sets Without the Universal Splitting Property
• scientific article; zbMATH DE number 4023250 (Why is no real title available?)
• On the Universal Splitting Property
• Contiguity and distributivity in the enumerable Turing degrees
• scientific article; zbMATH DE number 1488841 (Why is no real title available?)
• Effectively and Noneffectively Nowhere Simple Sets
• Friedberg splittings of recursively enumerable sets
• On quasi-reducibility for c.e. sets. I: The structure of the Q-degrees and the sQ-degrees
• Subsets and subspaces
• On the degrees of diagonal sets and the failure of the analogue of a theorem of Martin

This page was built for publication: Subsets of hypersimple sets

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