Minimal generation of basic semialgebraic sets (Q1066218)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal generation of basic semialgebraic sets |
scientific article |
Statements
Minimal generation of basic semialgebraic sets (English)
0 references
1984
0 references
If R denotes a real closed field and V an affine R-variety such that the rational points are dense in V, the author announces a bound, depending only on dim V, of the minimal m needed to describe a set of the form \(\{x\in V(R)| f_ i(x)>0,i=1,...,m\}\) where the \(f_ i\) are polynomial functions on V. The proof is only sketched.
0 references
minimal generation of semialgebraic sets
0 references
real spectrum
0 references