Author： Musatov Daniil
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.49, Iss.2, 2011-08, pp. : 227-245
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
Borel complexity and computability of the Hahn-Banach Theorem
Archive for Mathematical Logic, Vol. 46, Iss. 7-8, 2008-05 ,pp. :
Access to resources
Recommend
Going in Circles: Variations on the Money-Coutts Theorem
Geometriae Dedicata, Vol. 80, Iss. 1-3, 2000-05 ,pp. :
Coding true arithmetic in the Medvedev and Muchnik degrees
The Journal of Symbolic Logic, Vol. 76, Iss. 1, 2011-03 ,pp. :