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

DOI10.1017/JSL.2014.29MaRDI QIDQ2933670zbMATH OpenOpenAlexFDO

Authors C. Lasserre

Publication date 5 December 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2014.29

zbMATH Keywords

bi-interpretabilityprime groupsQFA groupssimple groupsThompson's groups

Mathematics Subject Classification ID

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

Recommendations

• Interpreting the arithmetic in Thompson's group \(F\).
• scientific article; zbMATH DE number 7263990
• Rational groups and integer-valued characters of Thompson group Th.
• On subgroups of R. Thompson's group F
• On the Ore condition for the group ring of R. Thompson’s group F
• Describing all bi-orderings on Thompson's group \(F\)
• On Jones' subgroup of R. Thompson group F
• scientific article; zbMATH DE number 4046008
• On Jones’ subgroup of R. Thompson’s group T
• Thompson's group \(F\) and the linear group \(\mathrm{GL}_\infty(\mathbb Z)\).

Cites work

• 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
• Classical recursion theory. Vol. II
• Commutators of Certain Finitely Generated Soluble Groups
• Describing Groups
• FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
• Hilbert's Tenth Problem is Unsolvable
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Interpreting the arithmetic in Thompson's group \(F\).
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• Quasi finitely axiomatizable totally categorical theories
• Separating Classes of Groups by First-Order Sentences

Cited in

(10)

• Describing all bi-orderings on Thompson's group \(F\)
• Complete first-order theories of some classical matrix groups over algebraic integers
• First-order rigidity of rings satisfying polynomial identities
• First order rigidity of non-uniform higher rank arithmetic groups
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• Quasi-finitely axiomatizable groups and groups which are prime models
• On the model theory of higher rank arithmetic groups
• Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
• The Diophantine problem in Thompson's group F
• On the first-order genus of wreath products and their central extensions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933670)