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

Abstract

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.

v3: French, 29 pages, 3 figures, minor corrections; v2: 29 pages, 3 figures, corrections, added references, no essential changes; v1: 28 pages, 3 figures

References in corpus (1)

• Forest diagrams for elements of Thompson's group F

Cited by in corpus (2)

• Uniformly perfect finitely generated simple left orderable groups
• Generating groups by conjugation-invariant sets