scientific article; zbMATH DE number 3786742

MaRDI QIDQ3964534zbMATH OpenFDO

Authors Volker Weispfenning

Publication date 1981

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Cited in

(16)

• A family of dp-minimal expansions of \((\mathbb{Z}; +)\)
• 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
• Fractional parts of dense additive subgroups of real numbers
• On o-Stable Expansions of $$\boldsymbol{(\mathbb{Z},<,+)}$$
• Vapnik-Chervonenkis density in some theories without the independence property. I
• Locally Boolean spectra
• scientific article; zbMATH DE number 493354 (Why is no real title available?)
• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
• Coset-minimal groups
• Some model theory for generalized trees
• Essentially periodic ordered groups
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• Externally definable quotients and NIP expansions of the real ordered additive group

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3964534)