Tarski-type problems for free associative algebras

DOI10.1016/j.jalgebra.2017.10.001zbMath1403.03055arXiv1509.04112OpenAlexW2963301680MaRDI QIDQ1702719

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 28 February 2018

Published in: Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

first-order theoryassociative algebra

Mathematics Subject Classification ID

Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (5)

First-order rigidity of rings satisfying polynomial identities ⋮ Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity ⋮ What does a group algebra of a free group ``know about the group? ⋮ Bi-interpretability of some monoids with the arithmetic and applications ⋮ Diophantine problems in solvable groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
• Elementary theory of free non-abelian groups.
• Elimination of quantifiers for modules
• Definable invariants of bilinear mappings
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Diophantine problems over local fields. III: Decidable fields
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• Polynomial rings and weak second-order logic
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Some groups that are just about free
• Groups with the same lower Central Sequence as a Relatively Free Group. I The Groups
• Centralizers in Free Associative Algebras
• Undecidable Rings
• Elementary properties of Abelian groups

This page was built for publication: Tarski-type problems for free associative algebras