Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-26T01:11:17.115Z Has data issue: false hasContentIssue false
  • English
  • Français

On Splitting an Infinite Recursively Enumerable Class

Published online by Cambridge University Press:  20 November 2018

J. B. Florence
J. B. Florence*
Affiliation:
The University of Western Ontario, London, Ontario
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

By an RE (recursively enumerable) sequence we mean a sequence V(0), V(1), … of uniformly RE sets, denotes the class of all RE sets. If is an RE class if either for some RE sequence V(0), V(1) , … .

Type
Research Article
Information
Canadian Journal of Mathematics , Volume 27 , Issue 5 , 01 October 1975 , pp. 1127 - 1140
Copyright
Copyright © Canadian Mathematical Society 1975

References

1. Florence, J. B., Infinite subclasses of recursively enumerable classes, Proc. Amer. Math. Soc. 18 (1967), 633–639.Google Scholar
2. Boykan Pour-El, Marian and Putnam, Hilary, Recursively enumerable classes and their application to recursive sequences of formal theories, Arch. Math. Logik Grundlagenforsch. 8 (1965), 104–121.Google Scholar
3. Young, Paul R., A theorem on recursively enumerable classes and splinters, Proc. Amer. Math. Soc. 17 (1966), 1050–1056.Google Scholar