Geodesic
On Splitting an Infinite Recursively Enumerable Class
Canadian journal of mathematics, Tome 27 (1975) no. 5, pp. 1127-1140

Voir la notice de l'article provenant de la source Cambridge University Press

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) , ... . 
Florence, J. B. On Splitting an Infinite Recursively Enumerable Class. Canadian journal of mathematics, Tome 27 (1975) no. 5, pp. 1127-1140. doi: 10.4153/CJM-1975-118-6
@article{10_4153_CJM_1975_118_6,
     author = {Florence, J. B.},
     title = {On {Splitting} an {Infinite} {Recursively} {Enumerable} {Class}},
     journal = {Canadian journal of mathematics},
     pages = {1127--1140},
     year = {1975},
     volume = {27},
     number = {5},
     doi = {10.4153/CJM-1975-118-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1975-118-6/}
}
TY  - JOUR
AU  - Florence, J. B.
TI  - On Splitting an Infinite Recursively Enumerable Class
JO  - Canadian journal of mathematics
PY  - 1975
SP  - 1127
EP  - 1140
VL  - 27
IS  - 5
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1975-118-6/
DO  - 10.4153/CJM-1975-118-6
ID  - 10_4153_CJM_1975_118_6
ER  - 
%0 Journal Article
%A Florence, J. B.
%T On Splitting an Infinite Recursively Enumerable Class
%J Canadian journal of mathematics
%D 1975
%P 1127-1140
%V 27
%N 5
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1975-118-6/
%R 10.4153/CJM-1975-118-6
%F 10_4153_CJM_1975_118_6

[1] 1. Florence, J. B., Infinite subclasses of recursively enumerable classes, Proc. Amer. Math. Soc. 18 (1967), 633–639. Google Scholar

[2] 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] 3. Young, Paul R., A theorem on recursively enumerable classes and splinters, Proc. Amer. Math. Soc. 17 (1966), 1050–1056. Google Scholar

Cité par Sources :