Publisher: Cambridge University Press
E-ISSN: 1943-5886|57|3|1120-1130
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.57, Iss.3, 1992-09, pp. : 1120-1130
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Intermediate
The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. :
The undecidability of the Π4-theory for the r.e. wtt and Turing degrees
The Journal of Symbolic Logic, Vol. 60, Iss. 4, 1995-12 ,pp. :
Wtt-degrees and T-degrees of r.e. sets
The Journal of Symbolic Logic, Vol. 48, Iss. 4, 1983-12 ,pp. :
Priority arguments in the continuous r.e. degrees
The Journal of Symbolic Logic, Vol. 50, Iss. 3, 1985-09 ,pp. :
Splitting properties of r.e. sets and degrees
The Journal of Symbolic Logic, Vol. 51, Iss. 1, 1986-03 ,pp. :