Literature Cited
E. Ellentuck, "On the degrees of universal regressive isols," Math. Scand.,32, No. 2, 145–164 (1973).
E. Ellentuck, "Decomposable isols and their degrees," Z. Math. Log. Grundl. Math.,22, No. 3, 251–260 (1976).
E. Ellentuck, "On the form of functions which preserve regressive isols," Compos. Math.,26, No. 3, 283–302 (1973).
E. Ellentuck, "Universal cosimple isols," Pac. J. Math.,42, No. 3, 629–638 (1972).
A. Nerode, "Extensions to isols," Ann. Math.,73, No. 2, 362–403 (1961).
J. C. E. Dekker, "The minimum of two regressive isols," Math. Zeit.,83, No. 4, 345–366 (1964).
J. Barback, "A note on regressive isols," Notre Dame J. Form. Logic,7, No. 2, 203–205 (1966).
V. L. Mikheev, "Sparse and universal regressive isols," Sib. Mat. Zh.,18, No. 2, 360–369 (1977).
W. Richter, "Regressive sets of ordern," Math. Zeit.,86, No. 5, 372–374 (1965).
J. Barback, "Regressive upper bounds," Seminar Math.,39, 248–272 (1967).
J. Barback, "Two notes on regressive isols," Pac. J. Math.,16, No. 3, 407–420 (1966).
J. C. E. Dekker and J. Myhill, "Recursive equivalence types," Univ. Calif. Publ. Math.,3, No. 3, 67–213 (1960).
H. Rogers, Theory of Recursive Functions and Effective Computability McGraw-Hill (1967).
Additional information
Translated from Algebra i Logika, Vol. 17, No. 1, pp. 56–78, January–February, 1978.
Rights and permissions
About this article
Cite this article
Mikheev, V.L. A hierarchy of independentω-processions of cosimple isols. Algebra and Logic 17, 40–57 (1978). https://doi.org/10.1007/BF01670122
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01670122