R.E. degrees of continuous functionals

Archive for Mathematical Logic 23 (1):79-98 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02023015

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: Dag Normann, Recursion on the Countable Functionals; Dag Normann, The Continuous Functionals; Computations, Recursions and Degrees. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
Computability over the Partial Continuous Functionals.Dag Normann - 2000 - Journal of Symbolic Logic 65 (3):1133-1142.
Degrees of continuous functionals.Peter G. Hinman - 1973 - Journal of Symbolic Logic 38 (3):393-395.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Normann Dag. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp.Normann Dag. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 , pp. 1–26. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
The continuous functionals; computations, recursions and degrees.Dag Normann - 1981 - Annals of Mathematical Logic 21 (1):1.
Degrees of unsolvability of continuous functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555-584.
Degrees of functionals.Dag Normann - 1979 - Annals of Mathematical Logic 16 (3):269.
Aspects of the Continuous Functionals.Dag Normann - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--171.
Review: Dag Normann, Degrees of Functionals. [REVIEW]E. R. Griffor - 1983 - Journal of Symbolic Logic 48 (1):212-213.
Characterizing the continuous functionals.Dag Normann - 1983 - Journal of Symbolic Logic 48 (4):965-969.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
Priority arguments in the continuous R. E. degrees.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (3):661-667.
General type-structures of continuous and countable functionals.Dag Normann - 1983 - Mathematical Logic Quarterly 29 (4):177-192.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.

Analytics

Added to PP
2020-12-03

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Dag Normann
University of Oslo

Citations of this work

Priority arguments in the continuous R. E. degrees.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (3):661-667.

Add more citations

References found in this work

No references found.

Add more references