New answers tagged

3 votes

"At most one" versus "at most finitely many"

The answer is positive, assuming extra induction, and a sketch is as follows. Let $\varphi(X,n)$ be as in (*). Define an analytic code $A_n$ as follows $X\in A_n\leftrightarrow \varphi(X, n)$. Use ...
  • 2,368

Top 50 recent answers are included