On solutions in the regressive isols.
Joseph Barback
Source: Pacific J. Math. Volume 43, Number 2
(1972), 283-296.
First Page:
Show
Hide
Primary Subjects:
02F40
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pjm/1102959500
Zentralblatt MATH identifier: 0257.02036
Mathematical Reviews number (MathSciNet): MR0316230
References
[1] J. Barback, Recursive functions and regressive isols, Math. Scand., 15 (1964), 29-42.
Mathematical Reviews (MathSciNet): MR31:1189
Zentralblatt MATH: 0148.24701
[2] J. Barback, Two notes on regressive isols, Pacific J. Math., 16 (1966), 407-420.
Mathematical Reviews (MathSciNet): MR32:5511
Zentralblatt MATH: 0199.02503
[3] J. Barback, Double series of isols, Canad. J. Math., 19 (1967), 1-15.
Mathematical Reviews (MathSciNet): MR35:1473
Zentralblatt MATH: 0207.30802
[4] J. C. E. Dekker, The minimumof two regressive isols, Math. Zeit., 83 (1964), 345- 366.
Mathematical Reviews (MathSciNet): MR28:3927
Zentralblatt MATH: 0122.01002
[5] J. C. E. Dekker, Regressive isols in Sets, Models and Recursion Theory, North-Holland, Am- sterdam, 1967, pp. 272-296.
Mathematical Reviews (MathSciNet): MR36:6287
Zentralblatt MATH: 0155.34002
[6] J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. Calf. Publ. Math. (N. S)., 3 (1960), 67-213.
Mathematical Reviews (MathSciNet): MR22:7938
Zentralblatt MATH: 0249.02021
[7] E. Ellentuck, Review of "Extensionsto isols", by A. Nerode (see [12]), Math. Reviews, 24 (1962), #A1215.
[8] M. Hassett, A mapping property of regressive isols, Illinois J. Math., 14 (1970), 478- 487.
Mathematical Reviews (MathSciNet): MR42:1657
Zentralblatt MATH: 0201.01201
[9] M. Hassett, A closure property of regressive isols, Rocky Mountain J. Math., 2 (1972), 1-24.
Mathematical Reviews (MathSciNet): MR45:1761
Zentralblatt MATH: 0238.02036
[10] J. Myhill, Recursive equivalence types and combinatorial functions,Bull. Amer. Math. Soc, 64 (1958), 373-376.
Mathematical Reviews (MathSciNet): MR21:7
Zentralblatt MATH: 0149.24605
[11] J. Myhill, Recursive equivalence types and combinatorial functions,Proc. 1960 Internat. Congress in Logic, Methodology and Philosophy of Science, Stanford Univ. Press, Stanford, Calf., (1962), 46-55.
Mathematical Reviews (MathSciNet): MR27:2405
Zentralblatt MATH: 0149.24605
[12] A. Nerode, Extensionsto isols, Ann. of Math., 75 (1962), 419-448.
Mathematical Reviews (MathSciNet): MR24:A1215
Zentralblatt MATH: 0101.01203
[13] F. J. Sansone, Combinatorial functionsand regressive isols, Pacific J. Math., 13 (1963), 703-707.
Mathematical Reviews (MathSciNet): MR32:5509
Zentralblatt MATH: 0121.25502
Pacific Journal of Mathematics
