Еще одно доказательство теоремы Тарского–Зайденберга

Теорема Тарского–Зайденберга позволяет алгоритмически определить, когда разрешима система полиномиальных уравнений и неравенств, по коэффициентам этих полиномов. Известные доказательства этой теоремы содержат рассмотрение большого числа вырожденных случаев. Предлагается элементарное доказательство этой теоремы, в котором число подлежащих рассмотрению вырожденных случаев сведено к минимуму.
Библиогр. 4.