Bi-interpretability of some monoids with the arithmetic and applications
From MaRDI portal
Publication:2003186
DOI10.1007/s00233-019-10021-4zbMath1467.03030arXiv1803.06003MaRDI QIDQ2003186
Laura López, O. G. Kharlampovich
Publication date: 16 July 2019
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1803.06003
03C60: Model-theoretic algebra
20M14: Commutative semigroups
20M05: Free semigroups, generators and relations, word problems
03C62: Models of arithmetic and set theory
03C40: Interpolation, preservation, definability
03F25: Relative consistency and interpretations
Related Items
Cites Work
- Unnamed Item
- Homogeneity and prime models in torsion-free hyperbolic groups.
- Elementary theory of free non-abelian groups.
- Tarski-type problems for free associative algebras
- Homogeneity in the free group.
- Diophantine geometry over groups. VI: The elementary theory of a free group.
- On groups and fields interpretable in torsion-free hyperbolic groups
- Describing Groups
- DEFINABLE SETS IN A HYPERBOLIC GROUP
- DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
- Concatenation as a basis for arithmetic