A short definition of a non-recursively enumerable set $W \subseteq \mathbb{N}$, where $\mathbb{N} \setminus W$ is recursively enumerable and the genesis of $W$ is in number theory

Abstract

Let $F(x,n)$ denote the formula $$ \exists ab ~\forall i \leqslant n ~\exists swpq ~\forall jv ~\exists eg ~\{(s+w)^2+3w+s=2i ~\wedge ~\langle[j=w ~\vee ~v=q] $$ $$ \vee~[j=3i ~\wedge ~v=p+q] ~\vee ~[j=s ~\wedge ~(v=p ~\vee ~(i=n ~\wedge ~v=q+x))] $$ $$ \vee~[j=3i+1 ~\wedge ~v=pq] ~\Rightarrow ~a=v+e+ejb ~\wedge ~v+g=jb\rangle\} $$ from J. P. Jones' article in vol. 43 of J. Symbolic Logic. From the results of Jones' article, it follows that the set $J=\{n \in \mathbb{N}: \neg F(n,n)\}$ is co-recursively enumerable and not recursively enumerable. The genesis of the set $J$ is outside number theory. We prove that the set $$ W=\{n \in \mathbb{N}: ~\exists p,q \in \mathbb{N} ~((2n=(p+q)(p+q+1)+2q)~\wedge $$ $$ \forall (x_0,\ldots,x_p) \in \mathbb{N}^{p+1} ~~\exists (y_0,\ldots,y_p) \in \{0,\ldots,q\}^{p+1} $$ $$ ((\forall j,k \in \{0,\ldots,p\} ~(x_j+1=x_k \Rightarrow y_j+1=y_k))~\wedge $$ $$ (\forall i,j,k \in \{0,\ldots,p\} ~(x_i \cdot x_j=x_k \Rightarrow y_i \cdot y_j=y_k))))\} $$ is co-recursively enumerable and not recursively enumerable. Let $\beta:\mathbb{N}^3 \to \mathbb{N}$ denote G\"odel's $\beta$ function. For $x_1,x_2,x_3 \in \mathbb{N}$, $\beta(x_1,x_2,x_3)$ equals the remainder after integer division of $x_1$ by $1+(x_3+1) \cdot x_2$. We prove that the set $W$ consists of all $n \in \mathbb{N}$ such that $$ \forall u,v \in \mathbb{N} ~\exists a,b,p,q \in \mathbb{N} ~((2n=(p+q)(p+q+1)+2q) ~\wedge ~\forall i,j,k \in \{0,\ldots,p\} $$ $$ ((\beta(a,b,i) \leqslant q) ~\wedge ~(\beta(u,v,j)+1=\beta(u,v,k) \Rightarrow \beta(a,b,j)+1=\beta(a,b,k)) ~\wedge $$ $$ (\beta(u,v,i) \cdot \beta(u,v,j)=\beta(u,v,k) \Rightarrow \beta(a,b,i) \cdot \beta(a,b,j)=\beta(a,b,k)))) $$ We express the above formula in Peano arithmetic.