Publication:3964534
From MaRDI portal
zbMath0499.03012MaRDI QIDQ3964534
Publication date: 1981
03C60: Model-theoretic algebra
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Externally definable quotients and NIP expansions of the real ordered additive group, Nonnegative solvability of linear equations in certain ordered rings, Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$, ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK, A family of dp-minimal expansions of \((\mathbb{Z}; +)\), An algebraic characterization of o-minimal and weakly o-minimal MV-chains, A representation of convex semilinear sets, Coset-minimal groups, Essentially periodic ordered groups, Fractional parts of dense additive subgroups of real numbers, Some model theory for generalized trees, Locally Boolean spectra, Elimination of unbounded quantifiers for some poly-regular groups of infinite rank, Vapnik-Chervonenkis density in some theories without the independence property, I, Unnamed Item