BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

Publisher： Cambridge University Press

E-ISSN： 1943-5886|80|1|1-28

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.80, Iss.1, 2015-03, pp. : 1-28

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

On bar recursion of types 0 and 1

By  

The Journal of Symbolic Logic, Vol. 44, Iss. 3, 1979-09 ,pp. : 325-329

Cambridge University Press

Access to resources Recommend Favorite

Selection in abstract recursion theory

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 1, 1976-03 ,pp. : 153-158

Cambridge University Press

Access to resources Recommend Favorite

Ordinal analysis of simple cases of bar recursion

By  

The Journal of Symbolic Logic, Vol. 46, Iss. 1, 1981-03 ,pp. : 17-30

Cambridge University Press

Access to resources Recommend Favorite

Differential recursion relations for Laguerre functions on Hermitian matrices

By Davidson M.   ólafsson G.  

Integral Transforms and Special Functions, Vol. 14, Iss. 6, 2003-12 ,pp. : 469-484

Taylor & Francis Ltd

Access to resources Recommend Favorite

Recursion relation of hyperelliptic PSI-functions of genus two

By Matsutani S.  

Integral Transforms and Special Functions, Vol. 14, Iss. 6, 2003-12 ,pp. : 517-527

Taylor & Francis Ltd

Access to resources Recommend Favorite