We show that the ring of locally bounded Nash meromorphic functions on a connected d-dimensional Nash submanifold of ℝn is a Prüfer domain and every finitely generated ideal in this ring can be generated by d + 1 elements.
Moreover, every finitely generated ideal can be generated by d elements if and only if the Nash manifold is noncompact.