Geodesic
Double Series of Isols
Canadian journal of mathematics, Tome 19 (1967) no. 1, pp. 1-15

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

It is assumed that the reader is familiar with the following notions: regressive function, regressive set, regressive isol, infinite series of isols, the minimum of two regressive isols, combinatorial function, and canonical extension. We shall use the slightly more general definition of a regressive function introduced in (3). The next three notions are defined in (2), the fifth in (3), and the last two in (7 and 8). 
Barback, Joseph. Double Series of Isols. Canadian journal of mathematics, Tome 19 (1967) no. 1, pp. 1-15. doi: 10.4153/CJM-1967-001-x
@article{10_4153_CJM_1967_001_x,
     author = {Barback, Joseph},
     title = {Double {Series} of {Isols}},
     journal = {Canadian journal of mathematics},
     pages = {1--15},
     year = {1967},
     volume = {19},
     number = {1},
     doi = {10.4153/CJM-1967-001-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-001-x/}
}
TY  - JOUR
AU  - Barback, Joseph
TI  - Double Series of Isols
JO  - Canadian journal of mathematics
PY  - 1967
SP  - 1
EP  - 15
VL  - 19
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-001-x/
DO  - 10.4153/CJM-1967-001-x
ID  - 10_4153_CJM_1967_001_x
ER  - 
%0 Journal Article
%A Barback, Joseph
%T Double Series of Isols
%J Canadian journal of mathematics
%D 1967
%P 1-15
%V 19
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-001-x/
%R 10.4153/CJM-1967-001-x
%F 10_4153_CJM_1967_001_x

[1] 1. Barback, J., Recursive functions and regressive isols, Math. Scand., 15 (1964), 29–42. Google Scholar

[2] 2. Dekker, J. C. E., Infinite series of isols, Proc. Symp. Recursive Function Theory (Providence, 1962), pp. 77–96. Google Scholar

[3] 3. Dekker, J. C. E., The minimum of two regressive isols, Math. Z. 83 (1964), 345–366. Google Scholar

[4] 4. Dekker, J. C. E., Les Fonctions combinatoires et les isols (Paris, 1964). Google Scholar

[5] 5. Dekker, J. C. E. and Myhill, J., Recursive equivalence types, Univ. Calif. Publ. Math. (N.S.), 3 (1960), 67–214. Google Scholar

[6] 6. Dekker, J. C. E. and Myhill, J., Retraceable sets, Can. J. Math., 10 (1958), 357–373. Google Scholar

[7] 7. Myhill, J., Recursive eqiuvalence types and combinatorial functions, (Part I), Bull. Amer. Math. Soc., 64 (1958), 373–376. Google Scholar

[8] 8. Myhill, J., Recursive equivalence types and combinatorial functions (Part 2), Proc. Symp. on Logic, Methodology and Philosophy of Science (Stanford, 1960), pp. 46–55. Google Scholar

[9] 9. Nerode, A., Extensions to isols, Ann. Math., 73 (1961), 362–403. Google Scholar

[10] 10. Nerode, A., Extensions of isolic integers, Ann. Math., 75 (1962), 419–448. Google Scholar

[11] 11. Nerode, A., Arithmetically isolated sets and nonstandard models, Proc. Symp. on Recursive Function Theory (Providence, 1962), pp. 105–116. Google Scholar

[12] 12. Sansone, F. J., Combinatorial functions and regressive isols, Pacific J. Math., 13 (1963), 703–707. Google Scholar

[13] 13. Sansone, F. J., The summation of certain infinite series of isols, Doctoral Thesis, Rutgers, The State University, 1964. Google Scholar

Cité par Sources :