@misc{indiciae4644795e8f66,
  title = {A simple example of a non-recursively enumerable set \$W\textbackslash{}subseteq N\$, where \$W=\textbackslash{}\{\textbackslash{}frac\{1\}\{2\}(p+q)(p+q+1)+q: (p,q\textbackslash{}in N)\textbackslash{}wedge Φ(p,q)\textbackslash{}\}\$ and the formula \$(p,q\textbackslash{}in N)\textbackslash{}wedge Φ(p,q)\$ concerns \$(N\textasciicircum{}\{p+1\},\textbackslash{}\{0,\textbackslash{}ldots,q\textbackslash{}\}\textasciicircum{}\{p+1\})\$},
  author = {Apoloniusz Tyszka},
  year = {2026},
  url = {https://arxiv.org/abs/1309.2605},
  note = {Source identifier: 1309.2605}
}