Article contents
On Splitting an Infinite Recursively Enumerable Class
Published online by Cambridge University Press: 20 November 2018
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
- 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
You have
Access
- 1
- Cited by
