Interpr\'etation de l'Arithm\'etique dans certains groupes de permutations affines par morceaux d'un intervalle

Tuna Alt{\i}nel and Alexey Muranov
Arxiv ID: 0711.3832Last updated: 3/28/2022
The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson's group $F$ and some of its generalizations interpret the Arithmetic without parameters.

PaperStudio AI Chat

I'm your research assistant! Ask me anything about this paper.

Related papers

Commercial Disclosure
© 2023 Paper Studio™. All Rights Reserved.