Abstract
We are interested in regressive isols, recursive functions, and the extensions of recursive functions to the isols. One of the nicest concepts that has been applied to the study of these notions is of an infinite series of isols. J. C. E. Dekker introduced infinite series of isols in [3]. With this concept one may associate with each number theoretic function u and regressive isol B a value in the isols to correspond to the seriesWhen u is chosen as a recursive function, or as a recursive combinatorial function, many of the sums that one associates with familiar finite series may be generalized to infinite series. For example, if B is any regressive isol, thenThe results presented in our paper were motivated by an interest in extending infinite series to a setting where the terms being summed may be infinite isols. In our paper, we do this in a special way, as will be described below. We would first like to briefly comment on some facts about the concept of defining an infinite series in the isols.
Publisher
Cambridge University Press (CUP)
Reference12 articles.
1. Infinite series of isols
2. Universal isols
3. Nerode semirings and Barback‘s “Tame Models”;McLaughlin;Houston Journal of Mathematics,1986