R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS
From MaRDI portal
Publication:2933670
DOI10.1017/jsl.2014.29zbMath1353.03030MaRDI QIDQ2933670
Publication date: 5 December 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2014.29
20A15: Applications of logic to group theory
03C60: Model-theoretic algebra
20F65: Geometric group theory
03C62: Models of arithmetic and set theory
Related Items
On the model theory of higher rank arithmetic groups, First-order rigidity of rings satisfying polynomial identities, First order rigidity of non-uniform higher rank arithmetic groups
Cites Work
- Homogeneity and prime models in torsion-free hyperbolic groups.
- Interpreting the arithmetic in Thompson's group \(F\).
- Quasi finitely axiomatizable totally categorical theories
- Classical recursion theory. Vol. II
- Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
- Separating Classes of Groups by First-Order Sentences
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- Describing Groups
- Hilbert's Tenth Problem is Unsolvable
- FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
- Commutators of Certain Finitely Generated Soluble Groups