

Publisher: Cambridge University Press
E-ISSN: 1943-5894|18|2|161-229
ISSN: 1079-8986
Source: Bulletin of Symbolic Logic, Vol.18, Iss.2, 2012-06, pp. : 161-229
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


Coding true arithmetic in the Medvedev and Muchnik degrees
The Journal of Symbolic Logic, Vol. 76, Iss. 1, 2011-03 ,pp. :


Non-branching degrees in the Medvedev lattice of Π1 0 classes
The Journal of Symbolic Logic, Vol. 72, Iss. 1, 2007-03 ,pp. :


The Journal of Symbolic Logic, Vol. 40, Iss. 2, 1975-06 ,pp. :


On the structure of the Medvedev lattice
The Journal of Symbolic Logic, Vol. 73, Iss. 2, 2008-06 ,pp. :