scientific article; zbMATH DE number 3752829
From MaRDI portal
Publication:3936723
zbMATH Open0479.03018MaRDI QIDQ3936723FDOQ3936723
Authors: Lou van den Dries 
Publication date: 1981
Title of this publication is not available (Why is that?)
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)
- Relationships of properties of piecewise affine maps over ordered fields
- Valued modules on skew polynomial rings and Bézout domains
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
- Bézout domains and lattice-valued modules
- Model companion of ordered theories with an automorphism
- Separably closed fields and contractive Ore modules
- An exact correspondence of linear problems and randomizing linear algorithms
- The laws of integer divisibility, and solution sets of linear divisibility conditions
- Convex polarities over ordered fields
- Formulation of linear problems and solution by a universal machine
- The complexity of linear problems in fields
- Quantifier elimination in linear difference equations over Witt vectors
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)
