text: То есть любая задача из экзистенциальной теории вещественных чисел имеет полиномиальное многозначное сведение к варианту одной из этих задач и, наоборот, эти задачи сводимы к экзистенциальной теории вещественных чисел.