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
Nonnegative solvability of linear equations in certain ordered rings, 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, 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