On bar recursion of types 0 and 1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|44|3|325-329

ISSN： 0022-4812

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

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

The hereditary partial effective functionals and recursion theory in higher types 1

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 4, 1984-12 ,pp. : 1319-1332

Cambridge University Press

Access to resources Recommend Favorite

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Omitting types: application to recursion theory

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. : 81-89

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

On recursion theory in IΣ 1

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 2, 1989-06 ,pp. : 576-589

Cambridge University Press

Access to resources Recommend Favorite