scientific article; zbMATH DE number 3752829

MaRDI QIDQ3936723zbMATHFDO

Authors Lou van den Dries

Publication date 1981

zbMATH Keywords

polynomialordered fieldsvalued fieldsquantifier free formula

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered structures (06F99) Valued fields (12J10) Quantifier elimination, model completeness, and related topics (03C10) Connections between field theory and logic (12L99)

Cited in

(12)

• Model companion of ordered theories with an automorphism
• Separably closed fields and contractive Ore modules
• The laws of integer divisibility, and solution sets of linear divisibility conditions
• Relationships of properties of piecewise affine maps over ordered fields
• Bézout domains and lattice-valued modules
• Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
• The complexity of linear problems in fields
• Quantifier elimination in linear difference equations over Witt vectors
• Convex polarities over ordered fields
• An exact correspondence of linear problems and randomizing linear algorithms
• Formulation of linear problems and solution by a universal machine
• Valued modules on skew polynomial rings and Bézout domains

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 Q3936723)