Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



$ \omega $-cohesive sets

Author: Barbara F. Ryan
Journal: Trans. Amer. Math. Soc. 202 (1975), 161-171
MSC: Primary 02F40
MathSciNet review: 0363848
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We define and investigate $ \omega $-cohesiveness, a strong notion of indecomposability for subsets of the integers and their isols. This notion says, for example, that if $ X$ is the isol of an $ \omega $-cohesive set then, for any integer $ n$ implies that, for some integer $ k, \cdot (\begin{array}{*{20}{c}} {X - k} \\ n \\ \end{array} ) \leq Y$ or $ Z$. From this it follows that if $ f(x) \in {T_1}$, the collection of almost recursive combinatorial polynomials, then the predecessors of $ {f_\Lambda }(X)$ are limited to isols $ {g_\Lambda }(X)$ where $ g(X) \in {T_1}$. We show existence of $ \omega $-cohesive sets. And we show that the isol of an $ \omega $-cohesive set is an $ n$-order indecomposable isol as defined by Manaster. This gives an alternate proof to one half of Ellentuck's theorem showing a simple algebraic difference between the isols and cosimple isols. In the last section we study functions of several variables when applied to isols of $ \omega $-cohesive sets.

References [Enhancements On Off] (What's this?)

  • [1] J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67-213. MR 22 #7938. MR 0117155 (22:7938)
  • [2] E. Ellentuck, Universal isols, Math. Z. 98 (1967), 1-8. MR 35 #5315. MR 0214465 (35:5315)
  • [3] -, An algebraic difference between isols and cosimple isols, J. Symbolic Logic 37 (1972), 557-561. MR 0323545 (48:1901)
  • [4] A. B. Manaster, Higher-order indecomposable isols, Trans. Amer. Math. Soc. 125 (1966), 363-383. MR 37 #67. MR 0224468 (37:67)
  • [5] J. Myhill, Recursive equivalence types and combinatorial functions, Bull. Amer. Math. Soc. 64 (1958), 373-376. MR 21 #7. MR 0101194 (21:7)
  • [6] A. Nerode, Extensions to isols, Ann. of Math. (2) 73 (1961), 362-403. MR 24 #A1215. MR 0131363 (24:A1215)
  • [7] F. P. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264-286.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02F40

Retrieve articles in all journals with MSC: 02F40

Additional Information

Keywords: Isols, $ \omega $-cohesive sets, almost recursive combinatorial functions, predecessors of isols, higher-order indecomposable isols, universal isols
Article copyright: © Copyright 1975 American Mathematical Society

American Mathematical Society