Index ellipsoid

In recursion theory a subset of the natural numbers is called a simple set if it is co-infinite and recursively enumerable, but every infinite subset of its complement fails to be enumerated recursively. Simple sets are examples of recursively enumerable sets that are not recursive.

Relation to Post's problem

Simple sets were devised by Emil Leon Post in the search for a non-Turing-complete recursively enumerable set. Whether such sets exist is known as Post's problem. Post had to prove two things in order to obtain his result, one is that the simple set, say A, does not Turing-reduce to the empty set, and that the K, the halting problem, does not Turing-reduce to A. He succeeded in the first part (which is obvious by definition), but for the other part, he managed only to prove a many-one reduction.

It was affirmed by Friedberg and Muchnik in the 1950s using a novel technique called the priority method. They give a construction for a set that is simple (and thus non-recursive), but fails to compute the halting problem.

Formal definitions and some properties

• A set $I\subseteq \mathbb{\mathbb{N}}$ is called immune iff $I$ is infinite, but for every index $e$, we have $W_e\text{ infinite}⟹W_e\subseteq ̸I$. Or equivalently: there is no infinite subset of $I$ that is recursively enumerable.
• A set $S\subseteq \mathbb{\mathbb{N}}$ is called simple iff it is recursively enumerable and its complement is immune.
• A set $I\subseteq \mathbb{\mathbb{N}}$ is called effectively immune iff $I$ is infinite, but there exists a recursive function $f$ such that for every index $e$, we have that $W_e\subseteq I⟹\#(W_e)<f(e)$.
• A set $S\subseteq \mathbb{\mathbb{N}}$ is called effectively simple if it is recursively enumerable and its complement is effectively immune. Every effectively simple set, is simple and Turing-complete.
• A set $I\subseteq \mathbb{\mathbb{N}}$ is called hyperimmune iff $I$ is infinite, but $p_I$ is not computably dominated, where $p_I$ is the list of members of $I$ in order.
• A set $S\subseteq \mathbb{\mathbb{N}}$ is called hypersimple if it is simple and its complement is hyperimmune.

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534