THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
From MaRDI portal
Publication:3480019
DOI10.1070/IM1990v034n02ABEH000655zbMath0702.03014OpenAlexW1989686516MaRDI QIDQ3480019
Publication date: 1990
Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/im1990v034n02abeh000655
decidabilityalgebraic description of models of the theory Th(R)finite-dimensional k-algebra over a field k
Finite rings and finite-dimensional associative algebras (16P10) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic in associative algebras (16B70)
Related Items
Verbal subgroups of hyperbolic groups have infinite width, Regular bi-interpretability of Chevalley groups over local rings, Tarski-type problems for free associative algebras, Groups elementarily equivalent to a free nilpotent group of finite rank, Elementary equivalence of rings with finitely generated additive groups, ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS