TY  - RPRT
TI  - A simple example of a non-recursively enumerable set $W\subseteq N$, where $W=\{\frac{1}{2}(p+q)(p+q+1)+q: (p,q\in N)\wedge Φ(p,q)\}$ and the formula $(p,q\in N)\wedge Φ(p,q)$ concerns $(N^{p+1},\{0,\ldots,q\}^{p+1})$
AU  - Apoloniusz Tyszka
PY  - 2026
UR  - https://arxiv.org/abs/1309.2605
ID  - 1309.2605
ER  -