2
$\begingroup$

Is the set $\left\{(x, y) \in \mathbb{Q}_{>0}^2 \, : \, \frac{x}{y} \in 2\mathbb{N} - 1\right\}$ definable in FO($\mathbb{Q}, +, \leq$).

  • 0
    Thoughts? Motivations?2012-10-27

2 Answers 2