Abstract
The notion of prime computability on abstract (unordered) domains is introduced by Moschovakis [1]. The prime computable functions are exactly those which are computable by means of deterministic (serial) procedures. In partial structures not every computable by means of nondeterministic (parallel) procedures function is prime computable. The aim of this paper is to give a generalization of the notion of prime computability in order to obtain the functions which are computable by means of parallel procedures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Y. N. Moschovakis, Abstract first order computability I, Trans. Amer. Math. Soc. 138,(1969), p. 427–464
I. N Soskov, Computability over partial algebraic systems. Ph. D. Thesis, Sofia, (1983)
I. N. Soskov, Computability over algebraic systems. Compt. Rend. Acad. Bulq. Sci., 36:3, (1983), p. 301–303
C. E. Gordon, Finistically computable functions and relations on an abstract structure (Abstract), Journal of Symbolic Logic 36 (1971), p. 704
J. C. Shepherdson, Computation over abstract structures. “Logic Colloquium ‘73”, H. E. Rose, J. C. Shepherdson ed., North-Holland, Amsterdam, (1975), p. 445–513
H. Friedman, Algorithmic procedures, generalized Turing algorithms and elementary recursion theory, in. “Logic Colloquium ‘69”, R. O. Gandy, C. E. M. Yates ed., North-Holland, Amsterdam, (1971), p. 361–389
D. G. Skordev, “Combinatory spaces and recursiviness in them” Publishing House Bulg. Acad. Sci., Sofia, (1980)
A. P. Ershov, Abstract computability on algebraic structures. Lecture notes in computer science. 122, 1981, p. 397–420
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Plenum Press, New York
About this chapter
Cite this chapter
Soskov, I.N. (1987). Prime Computability on Partial Structures. In: Skordev, D.G. (eds) Mathematical Logic and Its Applications. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0897-3_26
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0897-3_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8234-1
Online ISBN: 978-1-4613-0897-3
eBook Packages: Springer Book Archive