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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom