R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS

DOI10.1017/jsl.2014.29zbMath1353.03030MaRDI QIDQ2933670

Clément Lasserre

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

zbMATH Keywords

simple groups; prime groups; QFA groups; bi-interpretability; Thompson's groups

Mathematics Subject Classification ID

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