Linear problems in valued fields (Q1582303): Difference between revisions

Extending the Skolem sets introduced by Weispfenning in 1988, the author gives quantifier elimination procedures of comparatively moderate complexity for linear problems in various classes of valued fields. Some consequences concerning the complexity of the decision problems and substructure completeness w.r.t. linear formulas for the considered classes of valued fields are also obtained.