Regressive upper bounds
Rendiconti del Seminario Matematico della Università di Padova, Tome 39 (1967), pp. 248-272 
@article{RSMUP_1967__39__248_0,
     author = {Barback, Joseph},
     title = {Regressive upper bounds},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {248--272},
     year = {1967},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {39},
     mrnumber = {224464},
     zbl = {0159.01002},
     language = {en},
     url = {https://www.numdam.org/item/RSMUP_1967__39__248_0/}
}
TY  - JOUR
AU  - Barback, Joseph
TI  - Regressive upper bounds
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1967
SP  - 248
EP  - 272
VL  - 39
PB  - Seminario Matematico of the University of Padua
UR  - https://www.numdam.org/item/RSMUP_1967__39__248_0/
LA  - en
ID  - RSMUP_1967__39__248_0
ER  - 
%0 Journal Article
%A Barback, Joseph
%T Regressive upper bounds
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1967
%P 248-272
%V 39
%I Seminario Matematico of the University of Padua
%U https://www.numdam.org/item/RSMUP_1967__39__248_0/
%G en
%F RSMUP_1967__39__248_0
Barback, Joseph. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, Tome 39 (1967), pp. 248-272. https://www.numdam.org/item/RSMUP_1967__39__248_0/

[1] J. Barback, Recursive functions and regressive isols, Math. Scand. vol. 15 (1964), pp. 29-42. | Zbl | MR

[2] J. Barback, Two notes on regressive isols, Pac. J. of Math. vol. 16 (1966), pp. 407-420. | Zbl | MR

[3] J.C.E. Dekker, Infinite series of isols, Amer. Math. Soc. Proc. Sympos. Pure Math. vol. 5 (1962), pp. 77-96. | Zbl | MR

[4] J.C.E. Dekker, The minimum of two regressive isols, Math. Zeitschr. vol. 83 (1964), pp. 345-366. | Zbl | MR

[5] J.C.E. Dekker and J. Myhill, Retraceable sets, Canad. J. Math. vol. 10 (1958), pp. 357-373. | Zbl | MR

[6] J.C.E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. (N.S.) vol. 3 (1960), pp. 67-213. | Zbl | MR

[7] T.G. Mclaughlin, Splitting and decomposition by regressive sets, Michigan Math. J. vol. 12 (1965), pp. 499-505. | Zbl | MR

[8] J. Myhill, Recursive equivalence types aud combinatorial functions, Proc. of the International Congress in Logic and Methodology of Science, Stanford (1960), pp. 46-55. | Zbl | MR

[9] A. Nerode, Extensions to isols, Ann. of Math vol. 73 (1961), pp. 362-403. | Zbl | MR

[10] A. Nerode, Extensions to isolic integers, Ann. of Math. vol. 75 (1962), pp. 419-448. | Zbl | MR

[11] F.J. Sansone, Combinatorial functions and regressive isols, Pac. J. of Math vol. 13 (1963), pp. 703-707. | Zbl | MR

[12] F.J. Sansone, The summation of certain series of infinite regressive isols, Proc. Amer. Math. Soc. 16 (1965), pp. 1135-1140. | Zbl | MR