A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions

Publisher： Cambridge University Press

E-ISSN： 1943-5886|46|2|216-232

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.46, Iss.2, 1981-06, pp. : 216-232

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

A generalized Banach-Mazur theorem

By  

Bulletin of the Australian Mathematical Society, Vol. 1, Iss. 2, 1969-08 ,pp. : 169-173

Cambridge University Press

Access to resources Recommend Favorite

On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Bases and α-dimensions of countable vector spaces with recursive operations 1

By  

The Journal of Symbolic Logic, Vol. 35, Iss. 1, 1970-03 ,pp. : 85-96

Cambridge University Press

Access to resources Recommend Favorite

Recursive functions in basic logic

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 4, 1956-12 ,pp. : 337-346

Cambridge University Press

Access to resources Recommend Favorite

A note on nominalism and recursive functions

By  

The Journal of Symbolic Logic, Vol. 14, Iss. 1, 1949-05 ,pp. : 27-31

Cambridge University Press

Access to resources Recommend Favorite