Tarski-type problems for free associative algebras
From MaRDI portal
Publication:1702719
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
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