We extend the excluded K-n minor theorem of Robertson and Seymour to infini
te graphs and deduce a structural characterization of the infinite graphs t
hat have no K-N0 minor. The latter is a refinement of an earlier characteri
zation of Robertson, Seymour, and the second author. (C) 1999 Academic Pres
s.