Premium
Interpreting the weak monadic second order theory of the ordered rationals
Author(s) -
Truss John K.
Publication year - 2022
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.202100047
Subject(s) - mathematics , rational number , order (exchange) , automorphism , combinatorics , discrete mathematics , algebra over a field , pure mathematics , finance , economics
We show that the weak monadic second order theory of the structure( Q , < ) $({\mathbb {Q}}, <)$ is first order interpretable in its automorphism group.