Interpreting the weak monadic second order theory of the ordered rationals

Abstract

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