Switch to: Citations

Add references

You must login to add references.
  1. Some Properties of Recursively Inseparable Sets.J. P. Cleave - 1970 - Mathematical Logic Quarterly 16 (2):187-200.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   479 citations  
  • Q1-degrees of c.e. sets.R. Sh Omanadze & Irakli O. Chitaia - 2012 - Archive for Mathematical Logic 51 (5-6):503-515.
    We show that the Q-degree of a hyperhypersimple set includes an infinite collection of Q1-degrees linearly ordered under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\leq_{Q_1}}$$\end{document} with order type of the integers and consisting entirely of hyperhypersimple sets. Also, we prove that the c.e. Q1-degrees are not an upper semilattice. The main result of this paper is that the Q1-degree of a hemimaximal set contains only one c.e. 1-degree. Analogous results are valid for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Nowhere simple sets and the lattice of recursively enumerable sets.Richard A. Shore - 1978 - Journal of Symbolic Logic 43 (2):322-330.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Splitting theorems in recursion theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
    A splitting of an r.e. set A is a pair A1, A2 of disjoint r.e. sets such that A1 A2 = A. Theorems about splittings have played an important role in recursion theory. One of the main reasons for this is that a splitting of A is a decomposition of A in both the lattice, , of recursively enumerable sets and in the uppersemilattice, R, of recursively enumerable degrees . Thus splitting theor ems have been used to obtain results about (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations