Hostname: page-component-848d4c4894-nmvwc Total loading time: 0 Render date: 2024-07-07T16:00:34.095Z Has data issue: false hasContentIssue false
  • English
  • Français

Infinite products of recursive equivalence types

Published online by Cambridge University Press:  12 March 2014

Don C. Ferguson
Don C. Ferguson*
Affiliation:
Queen's University, Kingston, Ontario, Canada
Get access Rights & Permissions [Opens in a new window]

Extract

Remark 1. Finite sums and products of recursive equivalence types have been defined (see [1, p. 73 for sums and p. 130 for products]) and many of their algebraic properties revealed. It seems natural to ask if infinite sums and products can be defined in a natural manner and an algebra of such sums and products developed. The initial work in this direction is to be found in [2], [3] and [4]. In this paper we extend the above studies, concentrating for the most part on products.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 33 , Issue 2 , 23 July 1968 , pp. 221 - 230
Copyright
Copyright © Association for Symbolic Logic 1968

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Dekker, J. C. E. and Myhill, J., Recursive equivalence types, University of California Publications in Mathematics (N.S.) 3, University of California Press, Berkeley, California, 1960, pp. 67–214.Google Scholar
[2]Dekker, J. C. E., Infinite series of isols, Proceedings of symposia in pure mutthemmtics, Vol. 5, American Mathematical Society, Providence, R.I., 1962, pp. 77–96.Google Scholar
[3]Dekker, J. C. E., An infinite product of isols, Illinois journal of mathematics, vol. 7 (1963), pp. 668–680.CrossRefGoogle Scholar
[4]Ellentuck, Erik, Infinite products of isols, Pacific journal of mathematics, vol. 14 (1964), pp. 49–52.CrossRefGoogle Scholar
[5]Sansone, F. J., The summation of certain infinite series of isols, Doctoral Dissertation, Rutgers, The State University, New Brunswick, New Jersey, 1964, pp. 1–120.Google Scholar
[6]Sansone, F. J., Combinatorial functions and regressive isols, Pacific journal of mathematics, vol. 13 (1963), pp. 703–707.CrossRefGoogle Scholar