Model Theory of Monoids and Groups
LL Cruz - 2020 - search.proquest.com
We first show that arithmetic is bi-interpretable (with parameters) with the free monoid and
with partially commutative monoids with trivial center. This bi-interpretability implies that …
with partially commutative monoids with trivial center. This bi-interpretability implies that …
Model Theory of Groups and Monoids
LM Lopez Cruz - 2020 - academicworks.cuny.edu
We first show that arithmetic is bi-interpretable (with parameters) with the free monoid and
with partially commutative monoids with trivial center. This bi-interpretability implies that …
with partially commutative monoids with trivial center. This bi-interpretability implies that …