Regressive upper bounds

Joseph Barback

Rendiconti del Seminario Matematico della Università di Padova (1967)

  • Volume: 39, page 248-272
  • ISSN: 0041-8994

How to cite

top

Barback, Joseph. "Regressive upper bounds." Rendiconti del Seminario Matematico della Università di Padova 39 (1967): 248-272. <http://eudml.org/doc/107246>.

@article{Barback1967,
author = {Barback, Joseph},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {mathematical logic},
language = {eng},
pages = {248-272},
publisher = {Seminario Matematico of the University of Padua},
title = {Regressive upper bounds},
url = {http://eudml.org/doc/107246},
volume = {39},
year = {1967},
}

TY - JOUR
AU - Barback, Joseph
TI - Regressive upper bounds
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1967
PB - Seminario Matematico of the University of Padua
VL - 39
SP - 248
EP - 272
LA - eng
KW - mathematical logic
UR - http://eudml.org/doc/107246
ER -

References

top
  1. [1] J. Barback, Recursive functions and regressive isols, Math. Scand. vol. 15 (1964), pp. 29-42. Zbl0148.24701MR176921
  2. [2] J. Barback, Two notes on regressive isols, Pac. J. of Math. vol. 16 (1966), pp. 407-420. Zbl0199.02503MR188070
  3. [3] J.C.E. Dekker, Infinite series of isols, Amer. Math. Soc. Proc. Sympos. Pure Math. vol. 5 (1962), pp. 77-96. Zbl0171.27001MR142447
  4. [4] J.C.E. Dekker, The minimum of two regressive isols, Math. Zeitschr. vol. 83 (1964), pp. 345-366. Zbl0122.01002MR160716
  5. [5] J.C.E. Dekker and J. Myhill, Retraceable sets, Canad. J. Math. vol. 10 (1958), pp. 357-373. Zbl0082.01505MR99292
  6. [6] J.C.E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. (N.S.) vol. 3 (1960), pp. 67-213. Zbl0249.02021MR117155
  7. [7] T.G. McLaughlin, Splitting and decomposition by regressive sets, Michigan Math. J. vol. 12 (1965), pp. 499-505. Zbl0221.02024MR186545
  8. [8] J. Myhill, Recursive equivalence types aud combinatorial functions, Proc. of the International Congress in Logic and Methodology ofScience, Stanford (1960), pp. 46-55. Zbl0149.24605MR152425
  9. [9] A. Nerode, Extensions to isols, Ann. of Math vol. 73 (1961), pp. 362-403. Zbl0101.01203MR131363
  10. [10] A. Nerode, Extensions to isolic integers, Ann. of Math. vol. 75 (1962), pp. 419-448. Zbl0106.00801MR140410
  11. [11] F.J. Sansone, Combinatorial functions and regressive isols, Pac. J. of Math vol. 13 (1963), pp. 703-707. Zbl0121.25502MR188068
  12. [12] F.J. Sansone, The summation of certain series of infinite regressive isols, Proc. Amer. Math. Soc.16 (1965), pp. 1135-1140. Zbl0192.05104MR225650

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.