MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2039

Preprint Number 2039

Previous Next Preprint server

2039. J K Truss
Interpreting the weak monadic second order theory of the ordered rationals
E-mail:

Submission date: 22 August 2021

Abstract:

We show that the weak monadic second order theory of the structure (ℚ, <) is first order interpretable in its automorphism group.

Mathematics Subject Classification: 03C15, 06A05

Keywords and phrases:

Full text arXiv 2108.09790: pdf, ps.

Last updated: September 4 2021 13:41 Please send your corrections to: