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