Abstract
A definition is provided of k-fold infinite sums and products of isol integers, and certain properties of such sums and products are proven. The definition is based on the concept of generalized recursive equivalence types, introduced at the beginning of this paper. The validity of the properties, connected with the canonical extensions of functions on isols, is established for arbitrary functions, and not only for general recursive functions, since the generalized recursive equivalence types permit their incorporation without the Nerode metatheorem in the proof of such properties.
Similar content being viewed by others
Literature cited
F. Sansone, “A mapping of regressive isols,” Illinois J. Math.,9, No. 4, 726–735 (1965).
J. C. E. Dekker, “Infinite series of isols,” Recursive Funct. Theory, Am. Math. Soc., Providence, Rhode Island (1962), pp. 77–96.
Don C. Ferguson, “Infinite products of recursive equivalence types,” J. Symb. Logic,33, No. 2, 221–230 (1968).
J. Myhill, “RET and combinatorial functions (2),” Logic, Methodology, Phil. of Science, Stanford (1962), pp. 46–55.
V. L. Mikheev, “Mapping of regressive isols,” in: Materials of the Thirteenth Ail-Union Univ. (1975), pp. 18–20.
J. C. E. Dekker and J. Myhill, “Recursive equivalence types,” Univ. Cal. Publ. Math.,3, No. 3, 67–213 (1960).
J. C. E. Dekker, “Good choice sets,” Ann. Scuola Normale Super. Pisa,20, No. 2, 367–393 (1966).
E. Ellentuck, “On the form of functions which preserve regressive isols,” Compos. Math.,26, No. 3, 283–302 (1973).
J. Barback, “Extensions to regressive isols,” Math. Scand.,25, No. 2, 159–177 (1969).
F. Sansone, “Combinatorial functions and regressive isols,” Pac. J. Math.,13, No. 2, 703–707 (1963).
J. C. E. Dekker, “The minimum of two regressive isols,” Math. Z.,83, No. 4, 345–366 (1964).
J. Barback, “Double series of isols,” Canad. J. Math.,19, No. 1, 1–15 (1967).
M. Hassett, “A mapping property of regressive isols,” Illinois J. Math.,14, No. 3, 478–487 (1970).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 471–485, March, 1978.
Rights and permissions
About this article
Cite this article
Mikheev, V.L. Infinite sums and products of isol integers. Mathematical Notes of the Academy of Sciences of the USSR 23, 255–262 (1978). https://doi.org/10.1007/BF01651442
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01651442