TY - JOUR
T1 - The structure of models and a decidability criterion for complete theories of finite-dimensional algebras
AU - Myasnikov, A. G.
PY - 1990/4/30
Y1 - 1990/4/30
N2 - The author gives an algebraic description of models of the theory Th(R) and a criterion for its decidability for an arbitrary (not necessarily associative, and possibly without an identity) finite-dimensional k-algebra over a field k of arbitrary characteristic. This description is based on the solution of the following purely algebraic problem: how completely can the structure of a k-module R be recovered, knowing only the ring operations of R? 1990 American Mathematical Socicty.
AB - The author gives an algebraic description of models of the theory Th(R) and a criterion for its decidability for an arbitrary (not necessarily associative, and possibly without an identity) finite-dimensional k-algebra over a field k of arbitrary characteristic. This description is based on the solution of the following purely algebraic problem: how completely can the structure of a k-module R be recovered, knowing only the ring operations of R? 1990 American Mathematical Socicty.
UR - http://www.scopus.com/inward/record.url?scp=0346841489&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0346841489&partnerID=8YFLogxK
U2 - 10.1070/IM1990v034n02ABEH000655
DO - 10.1070/IM1990v034n02ABEH000655
M3 - Article
AN - SCOPUS:0346841489
SN - 0025-5726
VL - 34
SP - 389
EP - 407
JO - Mathematics of the USSR - Izvestija
JF - Mathematics of the USSR - Izvestija
IS - 2
ER -