Elimination of quantifiers for modules
From MaRDI portal
Cites work
Cited in
(43)- Categorial quasivarieties of Abelian groupoids and quasigroups
- Modules with an almost categorical theory
- Rings over which all modules of a given type are almost categorical
- Model theory of modules
- A group in a group
- Quantifier elimination for modules with scalar variables
- On the structure of stable groups
- Tarski-type problems for free associative algebras
- What does a group algebra of a free group ``know about the group?
- Minimal modules over Prüfer rings
- Totally transcendental theories of modules: Decomposition of models and types
- Injective minimal modules
- Classifying totally categorical groups (and others)
- Pseudo-linear algebra over a division ring
- Diophantine geometry from model theory
- Stability theory for topological logic, with applications to topological modules
- Some model theory of modules. II. on stability and categoricity of flat modules
- Groupes stables, avec types génériques réguliers
- The last word on elimination of quantifiers in modules
- Magidor-Malitz quantifiers in modules
- Deux remarques à propos de la propriété de recouvrement fini
- Quantifier elimination for modules
- On two hierarchies of dimensions
- Encoding orders and trees in binary relations
- Decomposition of totally transcendental modules
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
- scientific article; zbMATH DE number 1522509 (Why is no real title available?)
- The generalised RK-order, orthogonality and regular types for modules
- Modules and Stability Theory
- Grothendieck rings of theories of modules
- Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
- Finitely axiomatizable strongly minimal groups
- The dp-rank of abelian groups
- MODEL THEORY AND MACHINE LEARNING
- \(\Sigma\)-algebraically compact modules and \(\mathcal{L}_{\omega_1\omega}\)-compact cardinals
- Characterisations of ${\varSigma }$-pure-injectivity in triangulated categories and applications to endocoperfect objects
- The model theory of commutative near-vector spaces
- Groups elementarily equivalent to a free nilpotent group of finite rank
- Definable categories and monoidal categories
- Model-theoretic K₁ of free modules over pids
- Types in torsion free Abelian groups
- Isotypical equivalence of periodic abelian groups
- Rings of finite representation type and modules of finite Morley rank
This page was built for publication: Elimination of quantifiers for modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1236527)
