Tarski-type problems for free associative algebras

DOI10.1016/j.jalgebra.2017.10.001zbMath1403.03055arXiv1509.04112MaRDI 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 theory; associative algebra

Mathematics Subject Classification ID

16S10: Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.)

03C60: Model-theoretic algebra

03C45: Classification theory, stability, and related concepts in model theory

Related Items

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

Cites Work

• 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
• 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