Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
Résumé
L'Arithmétique est interprétée dans tous les groupes de Richard Thompson et de Graham Higman, aussi bien que dans d'autres groupes des permutations affines par morceaux d'un intervalle qui généralisent les groupes de Thompson et de Higman. En particulier, les théories élémentaires de tous ces groupes sont indécidables. De plus, le groupe $F$ de Thompson et certaines de ses généralisations interprètent l'Arithmétique sans paramètres.