Two notes on recursive functions and regressive isols

Two notes on recursive functions and regressive isols
HTML articles powered by AMS MathViewer

Trans. Amer. Math. Soc. 144 (1969), 77-94

DOI: https://doi.org/10.1090/S0002-9947-1969-0262081-5

PDF | Request permission

References

J. Barback, Recursive functions and regressive isols, Math. Scand. 15 (1964), 29–42. MR 176921, DOI 10.7146/math.scand.a-10724
Joseph Barback, A note on regressive isols, Notre Dame J. Formal Logic 7 (1966), 203–205. MR 211859
Joseph Barback, Two notes on regressive isols, Pacific J. Math. 16 (1966), 407–420. MR 188070, DOI 10.2140/pjm.1966.16.407
Joseph Barback, Double series of isols, Canadian J. Math. 19 (1967), 1–15. MR 210586, DOI 10.4153/CJM-1967-001-x
Joseph Barback, Regressive upper bounds, Rend. Sem. Mat. Univ. Padova 39 (1967), 248–272. MR 224464
Joseph Barback, On recursive sets and regressive isols, Michigan Math. J. 15 (1968), 27–32. MR 224465
J. C. E. Dekker, Infinite series of isols, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 77–96. MR 0142447
J. C. E. Dekker, The minimum of two regressive isols, Math. Z. 83 (1964), 345–366. MR 160716, DOI 10.1007/BF01111167
J. C. E. Dekker, Regressive isols, Sets, Models and Recursion Theory (Proc. Summer School Math. Logic and Tenth Logic Colloq., Leicester, 1965) North-Holland, Amsterdam, 1967, pp. 272–296. MR 0223238
J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67–213. MR 0117155

Extensions to isols

24

Erik Ellentuck, Universal isols, Math. Z. 98 (1967), 1–8. MR 214465, DOI 10.1007/BF01116562

Some theorems on regressive isols and isolic groups

William Judson LeVeque, Topics in number theory. Vols. 1 and 2, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1956. MR 0080682
John Myhill, Recursive equivalence types and combinatorial functions, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif., 1962, pp. 46–55. MR 0152425
Anil Nerode, Extensions to isols, Ann. of Math. (2) 73 (1961), 362–403. MR 131363, DOI 10.2307/1970338
A. Nerode, Extensions to isolic integers, Ann. of Math. (2) 75 (1962), 419–448. MR 140410, DOI 10.2307/1970206
Ivan Niven and Herbert S. Zuckerman, An introduction to the theory of numbers, John Wiley & Sons, Inc., New York-London, 1960. MR 0114786
F. J. Sansone, Combinatorial functions and regressive isols, Pacific J. Math. 13 (1963), 703–707. MR 188068, DOI 10.2140/pjm.1963.13.703
Fred J. Sansone, On order-preserving extensions to regressive isols, Michigan Math. J. 13 (1966), 353–355. MR 215720