On the Mostowski number (Q1117991)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Mostowski number |
scientific article |
Statements
On the Mostowski number (English)
0 references
1990
0 references
A well-known theorem of Mostowski says that any two disjoint semialgebraic subsets of an n-dimensional real affine \({\mathbb{R}}\)-variety V may be separated by a function of a ring \({\mathbb{R}}[V][q_ 1,...,q_ m]\) with strictly positive elements \(q_ i\in {\mathbb{R}}[V]\). The paper investigates the question of whether there are upper and lower bounds, depending only on n and not on the sets or variety involved, on the number \(m=m(n)\) of square roots which need to be adjoined. It is shown that \(m(n)>n-2\). There exists also an upper bound depending on bounds on the number of inequalities needed to express closed semialgebraic sets.
0 references
Mostowski number
0 references
closed semialgebraic sets
0 references