I'd like to know if the following statement is true or false (if there is an answer): > Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism). The proposition is true for non-ruled surfaces (here we have the uniqueness) and for rational sufaces, but what about ruled irrational surfaces? Many thanks in advance.