The Littlewood conjecture is an example that meets all my requirements.
It is easy to state and obviously $\Pi^1_1$. Furthermore this comment seems to indicate that it has no known reduction to an arithmetical sentence.
Paul Blain Levy
- 1.4k
- 7
- 21