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

Journal of Symbolic Logic 51 (1):1-11 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273936

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III , Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343. [REVIEW]Ernest Schimmerling - 2016 - Bulletin of Symbolic Logic 22 (4):521-524.
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343. [REVIEW]Ernest Schimmerling - 2016 - Bulletin of Symbolic Logic 22 (4):521-524.
Ordinal analysis of simple cases of bar recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345. [REVIEW]Derek Levinson - 2023 - Bulletin of Symbolic Logic 29 (4):656-657.
On definition trees of ordinal recursive functonals: Reduction of the recursion orders by means of type level raising.Jan Terlouw - 1982 - Journal of Symbolic Logic 47 (2):395-402.
N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 , pp. 175–182. [REVIEW]Clifford Spector - 1959 - Journal of Symbolic Logic 24 (1):69-69.

Analytics

Added to PP
2009-01-28

Downloads
62 (#345,540)

6 months
6 (#882,325)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

Add more references