Interpreting the action of the endomorphism monoid of the rationals

John K Truss,Edith Vargas-Garcia
DOI: https://doi.org/10.48550/arXiv.1908.11727
2019-08-30
Abstract:In this paper, we define the action of $M$, the monoid of embeddings of $({\mathbb Q}, \le)$, on $\mathbb Q$, in the monoid $(M, \circ)$. That is, we show that $\mathbb Q$ itself can be interpreted in $(M, \circ)$, and in addition, so can the action of $M$ on $\mathbb Q$. This is extended to the monoid $E$ of all endomorphisms of $({\mathbb Q}, \le)$.
Logic
What problem does this paper attempt to address?