A Jump Operator in Set Recursion

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):251-264 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790251308

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

A Jump Operator in Set Recursion.Dag Normann - 1982 - Journal of Symbolic Logic 47 (4):902-902.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Mathematical Logic Quarterly 25 (13‐18):251-264.
Review: Dag Normann, A Jump Operator in Set Recursion. [REVIEW]E. R. Griffor - 1982 - Journal of Symbolic Logic 47 (4):902-902.
Normann Dag. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 , pp. 251–264. [REVIEW]E. R. Griffor - 1982 - Journal of Symbolic Logic 47 (4):902-902.
Iteration of Primitive Recursion.Paul Axt - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):253-255.
Transfinite Recursion in a Theory of Properties.Stephen Pollard - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):307-314.
A Limit for Higher Recursion Theory.H. Luckhardt - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (30):475-479.
Fuzzy recursion, ret's, and isols.Leon Harkleroad - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):425-436.
Negative Results on the Reduction of the Recursion Scheme.Benedetto Intrigila - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):297-300.
Predictably computable functionals and definition by recursion.D. L. Kreider & R. W. Ritchie - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (5):65-80.

Analytics

Added to PP
2016-02-04

Downloads
36 (#431,681)

6 months
8 (#506,113)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Normann
University of Oslo

Citations of this work

No citations found.

Add more citations

References found in this work

Computations in higher types.Johan Moldestad - 1977 - New York: Springer Verlag.

Add more references