14 citations · 44 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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 is first order interpretable in its automorphism group.
math.GR2021
On limits of betweenness relations
David Bradley-Williams, John K Truss
We give a flexible method for constructing a wide variety of limits of betweenness relations. This unifies work of Adeleke, who constructed a Jordan group preserving a limit of bet…