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

DOI10.1017/S1474748009000024zbMath1186.03060arXiv0711.3832MaRDI QIDQ3183193

Alexey Muranov, Altınel, Tuna

Publication date: 19 October 2009

Published in: Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0711.3832

zbMATH Keywords

arithmeticThompson groupinterpretationelementary theoryhereditary undecidabilityfinitely presented simple group

Mathematics Subject Classification ID

Geometric group theory (20F65) Decidability of theories and sets of sentences (03B25) Models of arithmetic and set theory (03C62)

Related Items

GENERATING GROUPS BY CONJUGATION-INVARIANT SETS ⋮ Centralizers in the R. Thompson group \(V_n\). ⋮ R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS ⋮ The simultaneous conjugacy problem in groups of piecewise linear functions. ⋮ Uniformly perfect finitely generated simple left orderable groups ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
• Interpreting the arithmetic in Thompson's group \(F\).
• Quasi finitely axiomatizable totally categorical theories
• Commutators in linear groups
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• PRESENTATIONS, CONJUGACY, ROOTS, AND CENTRALIZERS IN GROUPS OF PIECEWISE LINEAR HOMEOMORPHISMS OF THE REAL LINE
• ON THE ELEMENTARY THEORY OF A FINITELY GENERATED ALMOST SOLVABLE GROUP
• FOREST DIAGRAMS FOR ELEMENTS OF THOMPSON'S GROUP F
• Describing Groups
• Infinite finitely generated fields are biinterpretable with ℕ
• Groups of Piecewise Linear Homeomorphisms
• Undecidable wreath products and skew power series fields
• Hilbert's Tenth Problem is Unsolvable
• Undecidable Rings
• Finiteness properties of groups