Archive for Mathematical Logic 32 (4):239-257 (1993)

Abstract
We study a notion ofpartial primitive recursion (p.p.r.) including the concept ofparallelism in the context of partial continuous functions of type level one in the sense of [Krei], [Sco82], [Ers]. A variety of subrecursive hierarchies with respect top.p.r. is introduced and it turns out that they all coincide
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01387405
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,398
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Rekursionszahlen und die Grzegorczyk-Hierarchie.Helmut Schwichtenberg - 1969 - Archive for Mathematical Logic 12 (1-2):85-97.

Add more references

Citations of this work BETA

Towards the Computational Complexity of ℘Rω-Terms.Karl-Heinz Niggl - 1995 - Annals of Pure and Applied Logic 75 (1-2):153-178.
Towards the Computational Complexity of ℘Rω-Terms.Karl-Heinz Niggl - 1995 - Annals of Pure and Applied Logic 75 (1):153-178.
Mω Considered as a Programming Language.Karl-Heinz Niggl - 1999 - Annals of Pure and Applied Logic 99 (1-3):73-92.
< I> M_< Sup> Ω Considered as a Programming Language.Karl-Heinz Niggl - 1999 - Annals of Pure and Applied Logic 99 (1):73-92.

Add more citations

Similar books and articles

Subrecursive Functions on Partial Sequences.Karl-Heinz Niggl - 1999 - Archive for Mathematical Logic 38 (3):163-193.
The Structure of Loop Programs and Subrecursive Hierarchies.Bernhard Goetze & Werner Nehrlich - 1980 - Mathematical Logic Quarterly 26 (14‐18):255-278.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
Fine Hierarchies and Boolean Terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Subrecursion: Functions and Hierarchies.H. E. Rose - 1984 - Oxford University Press.
The Intrinsic Difficulty of Recursive Functions.F. W. Kroon - 1996 - Studia Logica 56 (3):427 - 454.

Analytics

Added to PP index
2013-11-23

Total views
11 ( #803,337 of 2,420,695 )

Recent downloads (6 months)
1 ( #543,246 of 2,420,695 )

How can I increase my downloads?

Downloads

My notes