UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS (Q4692087): Difference between revisions

@@ Property / cites work @@
+Q3996716
@@ Property / cites work: Q3996716 / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary properties of free Lie algebras
@@ Property / cites work: On elementary properties of free Lie algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4300256
@@ Property / cites work: Q4300256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586301
@@ Property / cites work: Q5586301 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary equivalence of profinite groups
@@ Property / cites work: Elementary equivalence of profinite groups / rank @@
+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 @@
+Q5371234
@@ Property / cites work: Q5371234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135772
@@ Property / cites work: Q4135772 / rank @@
+Normal rank
@@ Property / cites work @@
+RECURSIVE<i>p</i>-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-<i>p</i>-GROUPS
+Normal rank
@@ Property / cites work @@
+Definable invariants of bilinear mappings
@@ Property / cites work: Definable invariants of bilinear mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. VI: The elementary theory of a free group.
+Normal rank