Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-23T07:03:06.632Z Has data issue: false hasContentIssue false

There exist two regressive sets whose intersection is not regressive

Published online by Cambridge University Press:  12 March 2014

K. I. Appel*
Affiliation:
Institute for Defense Analyses and University of Illinois

Extract

§1. In [2], as part of an analogy between the concepts of recursive emimerability and regressiveness, Dekker showed that the intersection of any two regressive sets which are recursively equivalent is a regressive set. In [1], McLaughlin and the author showed that the intersection of two regressive sets, if infinite, has an infinite regressive subset. However, the following theorem shows that the analogy is not complete in this instance.

Theorem. There exist two regressive sets whose intersection is not regressive.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1967

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]Appel, K. I. and McLaughlin, T. G., On properties of regressive sets, Transactions of the American Mathematical Society, vol. 115 (1965), pp. 8392.CrossRefGoogle Scholar
[2]Dekker, J. C. E., Infinite series of isols, Proceedings of symposia in pure and applied mathematics, vol. 5, American Mathematical Society, Providence, R.I., 1962, pp. 7796.CrossRefGoogle Scholar
[3]McLaughlin, T. G., Re traceable sets and recursive permutations, Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 427429.CrossRefGoogle Scholar