Interpreting the arithmetic in Thompson's group F
英文摘要：
We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Interpretation of the Arithmetic in certain groups of piecewise affine permutations of an interval
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.
math.GRmath.LO
Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
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.
math.GRmath.LO
From a conjecture of Collatz to Thompson's group F, via a conjunction of Girard
The famous 3x + 1 problem of L. Collatz needs no introduction; however, this paper concerns a lesser-known, but similarly unresolved, precursor problem : the Original Collatz Conjecture, or OCC. We demonstrate that the core arithmetic operator from the OCC, when combined with a conjunction of J.-Y. Girard from his Geometry of Interaction system, leads to a realisation of R. Thompson's group F as congruential functions, in the sense of J. Conway. We also give the underlying category theory that accounts for this, and describe the core operator from the OCC as a canonical coherence isomorphism.
math.CTmath.GRmath.LO
