Interpreting the weak monadic second order theory of the ordered rationals
Logic
2021-08-24 v1
Abstract
We show that the weak monadic second order theory of the structure is first order interpretable in its automorphism group.
Keywords
Cite
@article{arxiv.2108.09790,
title = {Interpreting the weak monadic second order theory of the ordered rationals},
author = {J K Truss},
journal= {arXiv preprint arXiv:2108.09790},
year = {2021}
}