Monotone and 1–1 sets
1982 ◽
Vol 33
(1)
◽
pp. 62-75
◽
Keyword(s):
AbstractAn infinite subset of ω is monotone (1–1) if every recursive function is eventually monotone on it (eventually constant on it or eventually 1–1 on it). A recursively enumerable set is co-monotone (co-1–1) just if its complement is monotone (1–1). It is shown that no implications hold among the properties of being cohesive, monotone, or 1–1, though each implies r-cohesiveness and dense immunity. However it is also shown that co-monotone and co-1–1 are equivalent, that they are properly stronger than the conjunction of r-maximality and dense simplicity, and that they do not imply maximality.
1976 ◽
Vol 217
◽
pp. 351
◽
Keyword(s):
1990 ◽
Vol 04
(01)
◽
pp. 95-112
◽
Keyword(s):
1988 ◽
Vol 53
(1)
◽
pp. 212-221
◽