Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy

E-ISSN： 1943-5886|37|2|281-292

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.37, Iss.2, 1972-06, pp. : 281-292

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

Recursion in Kolmogorov's R-operator and the ordinal σ ₃

The Journal of Symbolic Logic, Vol. 51, Iss. 1, 1986-03 ,pp. : 1-11

Cambridge University Press

Access to resources Recommend Favorite

Ordinal analysis of simple cases of bar recursion

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

Cambridge University Press

Access to resources Recommend Favorite

The Steel hierarchy of ordinal valued Borel mappings

The Journal of Symbolic Logic, Vol. 68, Iss. 1, 2003-03 ,pp. : 187-234

Cambridge University Press

Access to resources Recommend Favorite

Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy

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

Cambridge University Press

Access to resources Recommend Favorite

Functors and ordinal notations. I: A functorial construction of the veblen hierarchy

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 713-729

Cambridge University Press

Access to resources Recommend Favorite