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
    0 references
    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

    Identifiers