A real nullstellensatz and positivstellensatz for the semi- polynomials over an ordered field | Publicación