Graph minors. VIII: A Kuratowski theorem for general surfaces (Q2639870)

[Part VII, cf. ibid. 45, No.2, 212-254 (1988; Zbl 0658.05044).] In their eighth papers of a long series of papers towards a proof of Wagner's conjecture, the authors settle the case of graphs of bounded genus. Hence, for any infinite set of graphs of bounded genus, some member of the set is isomorphic to a minor of another. As a consequence, for every closed surface the list of forbidden subgraphs which characterizes the embeddability in that surface is finite. This answers a question of P. Erdős raised as early as in the 1930's.