Pages that link to "Item:Q1236527"

The following pages link to Elimination of quantifiers for modules (Q1236527):

Displaying 39 items.

• Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
• Grothendieck rings of theories of modules (Q487696) (← links)
• Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649) (← links)
• Groups elementarily equivalent to a free nilpotent group of finite rank (Q639689) (← links)
• Rings of finite representation type and modules of finite Morley rank (Q793133) (← links)
• Categorial quasivarieties of Abelian groupoids and quasigroups (Q1068874) (← links)
• Modules with an almost categorical theory (Q1070224) (← links)
• Rings over which all modules of a given type are almost categorical (Q1070225) (← links)
• Model theory of modules (Q1076118) (← links)
• A group in a group (Q1174075) (← links)
• Quantifier elimination for modules with scalar variables (Q1192337) (← links)
• On the structure of stable groups (Q1377637) (← links)
• Tarski-type problems for free associative algebras (Q1702719) (← links)
• What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
• Minimal modules over Prüfer rings (Q1803025) (← links)
• Totally transcendental theories of modules: Decomposition of models and types (Q1813157) (← links)
• Injective minimal modules (Q1842384) (← links)
• Classifying totally categorical groups (and others) (Q1919528) (← links)
• Pseudo-linear algebra over a division ring (Q2216539) (← links)
• Diophantine Geometry from Model Theory (Q2732528) (← links)
• Stability theory for topological logic, with applications to topological modules (Q3026986) (← links)
• Some model theory of modules. II. on stability and categoricity of flat modules (Q3037398) (← links)
• Groupes stables, avec types génériques réguliers (Q3039329) (← links)
• The last word on elimination of quantifiers in modules (Q3496319) (← links)
• Magidor-Malitz quantifiers in modules (Q3708786) (← links)
• Deux remarques à propos de la propriété de recouvrement fini (Q3728884) (← links)
• Quantifier elimination for modules (Q3749043) (← links)
• On two hierarchies of dimensions (Q3778000) (← links)
• Encoding orders and trees in binary relations (Q3895443) (← links)
• Decomposition of totally transcendental modules (Q3900038) (← links)
• (Q4510744) (← links)
• The generalised RK-order, orthogonality and regular types for modules (Q4722050) (← links)
• Modules and Stability Theory (Q4726232) (← links)
• Finitely axiomatizable strongly minimal groups (Q5190188) (← links)
• THE DP-RANK OF ABELIAN GROUPS (Q5195054) (← links)
• MODEL THEORY AND MACHINE LEARNING (Q5240809) (← links)
• Σ‐algebraically compact modules and ‐compact cardinals (Q5258481) (← links)
• Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects (Q6108395) (← links)
• Definable categories and monoidal categories (Q6617861) (← links)