Linear problems in valued fields (Q1582303)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear problems in valued fields |
scientific article |
Statements
Linear problems in valued fields (English)
0 references
6 February 2001
0 references
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.
0 references
elimination sets
0 references
linear formulas
0 references
quantifier elimination procedures
0 references
complexity
0 references
valued fields
0 references
decision problems
0 references
substructure completeness
0 references
