Bi-interpretability of some monoids with the arithmetic and applications (Q2003186): Difference between revisions

@@ Property / author @@
-O. G. Kharlampovich
@@ Property / author: O. G. Kharlampovich / rank @@
-Normal rank
@@ Property / author @@
+O. G. Kharlampovich
@@ Property / author: O. G. Kharlampovich / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964192494
@@ Property / OpenAlex ID: W2964192494 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06003
@@ Property / arXiv ID: 1803.06003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417312
@@ Property / cites work: Q4417312 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski-type problems for free associative algebras
+Normal rank
@@ Property / cites work @@
+Elementary theory of free non-abelian groups.
@@ Property / cites work: Elementary theory of free non-abelian groups. / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABLE SETS IN A HYPERBOLIC GROUP
@@ Property / cites work: DEFINABLE SETS IN A HYPERBOLIC GROUP / rank @@
+Normal rank
@@ Property / cites work @@
+DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneity and prime models in torsion-free hyperbolic groups.
+Normal rank
@@ Property / cites work @@
+On groups and fields interpretable in torsion-free hyperbolic groups
+Normal rank
@@ Property / cites work @@
+Homogeneity in the free group.
@@ Property / cites work: Homogeneity in the free group. / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. VI: The elementary theory of a free group.
+Normal rank