Emergent Mind

Approximation of subsets of natural numbers by c.e. sets

(1902.03399)
Published Feb 9, 2019 in cs.LO and math.LO

Abstract

The approximation of natural numbers subsets has always been one of the fundamental issues in computability theory. Computable approximation, $\Delta2$-approximation, as well as introducing the generically computable sets have been some efforts for this purpose. In this paper, a type of approximation for natural numbers subsets by computably enumerable sets will be examined. For an infinite and non-c.e set, $Wi$ will be an $A$.maximal (maximal inside $A$) if $Wi \subseteq A$, is infinite and $\forall j (Wi \subseteq Wj \subseteq A) \to \Delta (Wi, W_j )< \infty$, where $\Delta$ is the symmetric difference of the two sets. In this study, the natural numbers subsets will be examined from the maximal subset contents point of view, and we will categorize them on this basis. We will study c.regular sets that are non-c.e. and include a maximal set inside themselves, and c.irregular sets that are non-c.e. and non-immune sets which do not include maximal sets. Finally, we study the graph of relationship between c.e. subsets of c.irregular sets.

We're not able to analyze this paper right now due to high demand.

Please check back later (sorry!).

Generate a summary of this paper on our Pro plan:

We ran into a problem analyzing this paper.

Newsletter

Get summaries of trending comp sci papers delivered straight to your inbox:

Unsubscribe anytime.