A new proof of the existence of minimal models of the hiperreal line is obtained in terms of a combinatorial property of Ramsey ultrafilters over a countable set.