Interpreting the action of the endomorphism monoid of the rationals

2019/08/30 by Truss, John K, Vargas-Garcia, Edith
#08A35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1908.11727

Abstract

In this paper, we define the action of M, the monoid of embeddings of (\mathbb Q, ≤), on \mathbb Q, in the monoid (M, ∘). That is, we show that \mathbb Q itself can be interpreted in (M, ∘), 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, ≤).

Related

• Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals
• El monoide de endomorfismos de G-conjuntos: estructuras y otras propiedades algebraicas
• Products in a Category with One Object
• Monoid Properties as Invariants of Toposes of Monoid Actions
• For which additive submonoids M of nonnegative rationals is F[X;M] AP?