Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle (Q3183193): Difference between revisions

@@ Property / cites work @@
+ON THE ELEMENTARY THEORY OF A FINITELY GENERATED ALMOST SOLVABLE GROUP
+Normal rank
@@ Property / cites work @@
+Q3041166
@@ Property / cites work: Q3041166 / rank @@
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness properties of groups
@@ Property / cites work: Finiteness properties of groups / rank @@
+Normal rank
@@ Property / cites work @@
+PRESENTATIONS, CONJUGACY, ROOTS, AND CENTRALIZERS IN GROUPS OF PIECEWISE LINEAR HOMEOMORPHISMS OF THE REAL LINE
+Normal rank
@@ Property / cites work @@
+FOREST DIAGRAMS FOR ELEMENTS OF THOMPSON'S GROUP F
+Normal rank
@@ Property / cites work @@
+Groups of Piecewise Linear Homeomorphisms
@@ Property / cites work: Groups of Piecewise Linear Homeomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting the arithmetic in Thompson's group \(F\).
+Normal rank
@@ Property / cites work @@
+Quasi finitely axiomatizable totally categorical theories
+Normal rank
@@ Property / cites work @@
+Infinite finitely generated fields are biinterpretable with ℕ
+Normal rank
@@ Property / cites work @@
+Q4526525
@@ Property / cites work: Q4526525 / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
+Normal rank
@@ Property / cites work @@
+Commutators in linear groups
@@ Property / cites work: Commutators in linear groups / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable wreath products and skew power series fields
+Normal rank
@@ Property / cites work @@
+Undecidable Rings
@@ Property / cites work: Undecidable Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770506
@@ Property / cites work: Q3770506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707983
@@ Property / cites work: Q3707983 / rank @@
+Normal rank