Publisher: Cambridge University Press
E-ISSN: 1943-5886|71|4|1284-1302
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.71, Iss.4, 2006-12, pp. : 1284-1302
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
The Π2 0 enumeration degrees are not dense
The Journal of Symbolic Logic, Vol. 61, Iss. 4, 1996-12 ,pp. :
The equational theory of
The Journal of Symbolic Logic, Vol. 45, Iss. 2, 1980-06 ,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. :
1-genericity in the enumeration degrees
The Journal of Symbolic Logic, Vol. 53, Iss. 3, 1988-09 ,pp. :