Ruiz Sancho, Jesús MaríaShiota, Masahiro2023-06-202023-06-2019940012-9593https://hdl.handle.net/20.500.14352/57910Let M superset-of R be a compact Nash manifold, and N (M) [resp. O(M)] its ring of global Nash (resp. analytic) functions. A global Nash (resp. analytic) set is the zero set of finitely many global Nash (resp. analytic) functions, and we have the usual notion of irreducible set. Then we say that separation holds for M if every Nash irreducible set is analytically irreducible. The main result of this paper is that separation holds if and only if every semialgebraic subset of M described by s global analytic inequalities can also be described by s global Nash inequalities. In passing, we also prove that when separation holds, every Nash function on a Nash set extends to a global Nash function on M.engjournal articlehttp://archive.numdam.org/ARCHIVE/ASENS/ASENS_1994_4_27_1/ASENS_1994_4_27_1_103_0/ASENS_1994_4_27_1_103_0.pdfhttp://www.numdam.orgrestricted access512.7515.171.5Extension theoremringsseparation problemproblem of equal complexitiesNash functionsnumber of inequalitiesfansGeometria algebraicaTeoría de conjuntos1201.01 Geometría Algebraica1201.02 Teoría Axiomática de Conjuntos