I'd like to know if the following statement is true or false: > Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism). We know that the proposition is true for non-ruled surfaces (here we have uniqueness of the minimal model) and for rational surfaces. But what about ruled irrational surfaces?