Interpreting the weak monadic second order theory of the ordered rationals

J K Truss

We show that the weak monadic second order theory of the structure $(\mathbb{Q},<)$ is first order interpretable in its automorphism group.