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

Publisher: Cambridge University Press

E-ISSN: 1475-3030|8|4|623-652

ISSN: 1474-7480

Source: Journal of the Institute of Mathematics of Jussieu, Vol.8, Iss.4, 2009-10, pp. : 623-652

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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.