Π₁ ¹ relations and paths through

E-ISSN： 1943-5886|69|2|585-611

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.69, Iss.2, 2004-06, pp. : 585-611

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

Which number theoretic problems can be solved in recursive progressions on Π₁ ¹-paths through O?

The Journal of Symbolic Logic, Vol. 37, Iss. 2, 1972-06 ,pp. : 311-334

Cambridge University Press

Access to resources Recommend Favorite

Π₁ ⁰ classes and strong degree spectra of relations

The Journal of Symbolic Logic, Vol. 72, Iss. 3, 2007-09 ,pp. : 1003-1018

Cambridge University Press

Access to resources Recommend Favorite

Π₁ ¹ Borel sets

The Journal of Symbolic Logic, Vol. 54, Iss. 3, 1989-09 ,pp. : 915-920

Cambridge University Press

Access to resources Recommend Favorite

Series for 1/π and π with free parameters

By Wei Chuanan Gong Dianxuan Wang Xiaoxia

Integral Transforms and Special Functions, Vol. 25, Iss. 11, 2014-11 ,pp. : 922-929

Taylor & Francis Ltd

Access to resources Recommend Favorite

Bar Induction and Π₁ ¹-CA 1

The Journal of Symbolic Logic, Vol. 34, Iss. 3, 1969-11 ,pp. : 353-362

Cambridge University Press

Access to resources Recommend Favorite