THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS

DOI10.1070/IM1990v034n02ABEH000655zbMath0702.03014OpenAlexW1989686516MaRDI QIDQ3480019

Alexei G. Myasnikov

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

zbMATH Keywords

decidabilityalgebraic description of models of the theory Th(R)finite-dimensional k-algebra over a field k

Mathematics Subject Classification ID

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 (6)

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

This page was built for publication: THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS