Coding true arithmetic in the Medvedev and Muchnik degrees

E-ISSN： 1943-5886|76|1|267-288

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.76, Iss.1, 2011-03, pp. : 267-288

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Interpreting true arithmetic in the -enumeration degrees

The Journal of Symbolic Logic, Vol. 75, Iss. 2, 2010-06 ,pp. : 522-550

Cambridge University Press

Access to resources Recommend Favorite

Two theorems on degrees of models of true arithmetic

The Journal of Symbolic Logic, Vol. 49, Iss. 2, 1984-06 ,pp. : 425-436

Cambridge University Press

Access to resources Recommend Favorite

Interpreting true arithmetic in the local structure of the enumeration degrees

The Journal of Symbolic Logic, Vol. 77, Iss. 4, 2012-12 ,pp. : 1184-1194

Cambridge University Press

Access to resources Recommend Favorite

Embeddings into the Medvedev and Muchnik lattices of Π⁰₁ classes

By Binns Stephen Simpson Stephen G.

Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. : 399-414

Springer Publishing Company

Access to resources Recommend Favorite

A Survey of Mučnik and Medvedev Degrees

Bulletin of Symbolic Logic, Vol. 18, Iss. 2, 2012-06 ,pp. : 161-229

Cambridge University Press

Access to resources Recommend Favorite