# Tag Info

## New answers tagged reverse-math

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