R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS-Reference-Cited by-同舟云学术

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

Published:2014-08-18 Issue:3 Volume:79 Page:693-711
ISSN:0022-4812
Container-title:The Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

LASSERRE CLÉMENT

Abstract

AbstractWe show that R.J. Thompson’s groupsFandTare bi-interpretable with the ring of the integers. From a result by A. Khélif, these groups are quasi-finitely axiomatizable and prime. So, the groupTprovides an example of a simple group which is quasi-finitely axiomatizable and prime. This answers questions posed by T. Altınel and A. Muranov in [2], and by A. Nies in [12].

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference18 articles.

1. On the elementary theory of a finitely generated almost solvable group;Noskov;Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya,1983

2. Commutators of Certain Finitely Generated Soluble Groups

3. Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle

4. Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs

5. Model Theory

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the model theory of higher rank arithmetic groups;Duke Mathematical Journal;2023-09-15

2. First-order rigidity of rings satisfying polynomial identities;Annals of Pure and Applied Logic;2022-06

3. First order rigidity of non-uniform higher rank arithmetic groups;Inventiones mathematicae;2019-03-08

4. The Logical Complexity of Finitely Generated Commutative Rings;International Mathematics Research Notices;2018-02-27