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

Autor:	Altınel, Tuna, Muranov, Alexey
Rok vydání:	2007
Předmět:	Mathematics - Logic Mathematics - Group Theory 03C62 (Primary) 20F65 (Secondary) 03D35
Zdroj:	Journal of the Institute of Mathematics of Jussieu, Volume 8, Issue 04, October 2009, pp. 623--652
Druh dokumentu:	Working Paper
DOI:	10.1017/S1474748009000024
Popis:	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. Comment: v3: French, 29 pages, 3 figures, minor corrections; v2: 29 pages, 3 figures, corrections, added references, no essential changes; v1: 28 pages, 3 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/0711.3832 Zobrazit plný text záznamu View this record from Arxiv