算术在区间上某些分段仿射置换群中的解释
逻辑
2022-03-28 v3 群论
摘要
算术在 Richard Thompson 和 Graham Higman 的所有群中，以及在推广了 Thompson 群和 Higman 群的其他区间分段仿射置换群中均可被解释。特别地，所有这些群的基本理论都是不可判定的。此外，Thompson 群 及其某些推广可以在无参数的情况下解释算术。
引用
@article{arxiv.0711.3832,
title = {Interpr\'etation de l'Arithm\'etique dans certains groupes de permutations affines par morceaux d'un intervalle},
author = {Tuna Altınel and Alexey Muranov},
journal= {arXiv preprint arXiv:0711.3832},
year = {2022}
}
备注
v3: French, 29 pages, 3 figures, minor corrections; v2: 29 pages, 3 figures, corrections, added references, no essential changes; v1: 28 pages, 3 figures