Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-10-30T14:24:06.522Z Has data issue: false hasContentIssue false

Operative vs. combinatory spaces

Published online by Cambridge University Press:  12 March 2014

Lyubomir Ivanov*
Affiliation:
Section of Logic, Department of Mathematics, Sofia University, 1126 Sofia, Bulgaria

Extract

The algebraic systems of combinatory spaces [3] and operative spaces [1] have been designed to provide appropriate settings for the development of abstract recursion theory. As shown in [1, Chapter 27], these systems are closely related; namely, every combinatory space has a companion operative space with a storing operation St such that Skordev recursiveness in the former equals st-recursiveness in the latter. The problem of characterization of those operative spaces which have companion combinatory spaces was solved in [2] by introducing a class of operative spaces called Skordev spaces and showing that these give an alternative axiomatics of Skordev's combinatory spaces.

In this paper we study operative spaces with two special constants S1 and S2 which, in computer science terms, axiomatize the availability of stacking facility. We establish that any such space has a Skordev subspace and, moreover, all Skordev spaces can be obtained in this way. The construction ensures that st-recursiveness in the Skordev space concerned is equivalent to recursiveness in S1 and S2 in the wider operative space. Therefore, it quite unexpectedly turns out that Skordev recursiveness can be expressed via relative recursiveness in operative spaces in a straightforward manner, without employing higher spaces as done in [1].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Ivanov, L. L., Algebraic recursion theory, Ellis Horwood, Ltd., and Wiley, Chichester, 1986.Google Scholar
[2]Ivanov, L. L., Skordev spaces, Annuaire de l'Université de Sofia, Faculté de Mathématiques et Mécanique, vol. 80 (1986) (to appear).Google Scholar
[3]Skordev, D. G., Combinatory spaces and recursiveness in them, Bulgarian Academy of Sciences Publishers, Sofia, 1980. (Russian; English summary)Google Scholar