Pages that link to "Item:Q3480019"
From MaRDI portal
The following pages link to THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS (Q3480019):
Displaying 17 items.
- Groups elementarily equivalent to a free nilpotent group of finite rank (Q639689) (← links)
- Elementary theory of a module over a local ring (Q915722) (← links)
- Quantifier elimination for modules with scalar variables (Q1192337) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- Elementary equivalence of rings with finitely generated additive groups (Q1709681) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- Decidable models of \(\omega\)-stable theories (Q2921028) (← links)
- Verbal subgroups of hyperbolic groups have infinite width. (Q2922852) (← links)
- (Q3077956) (← links)
- The model completion of the theory of modules over finitely generated commutative algebras (Q3399176) (← links)
- (Q3491528) (← links)
- <i>ω</i>-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS (Q4977229) (← links)
- Theories with few non-algebraic types over models, and their decompositions (Q5086946) (← links)
- A criterion for existence of right‐induced model structures (Q5229528) (← links)
- Computer Science Logic (Q5292666) (← links)
- Regular bi-interpretability of Chevalley groups over local rings (Q6166634) (← links)
- Decomposing finite \(\mathbb{Z}\)-algebras (Q6667385) (← links)
