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

DOI10.1017/jsl.2014.29zbMath1353.03030OpenAlexW2107311001MaRDI 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 groupsprime groupsQFA groupsbi-interpretabilityThompson's groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Geometric group theory (20F65) Models of arithmetic and set theory (03C62)

Related Items (3)

First-order rigidity of rings satisfying polynomial identities ⋮ First order rigidity of non-uniform higher rank arithmetic groups ⋮ On the model theory of 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

This page was built for publication: R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS