## Abstract

We define a quasi-order of the class of all finite hypergraphs, and prove it is a well-quasi-order. This has two corollaries of interest:•Wagner's conjecture, proved in a previous paper, states that for every infinite set of finite graphs, one of its members is a minor of another. The present result implies the same conclusion even if the vertices or edges of the graphs are labelled from a well-quasi-order and we require the minor relation to respect the labels.•Nash-Williams' "immersion" conjecture states that in any infinite set of finite graphs, one can be "immersed" in another; roughly, embedded such that the edges of the first graph are represented by edge-disjoint paths of the second. The present result implies this, in a strengthened form where we permit vertices to be labelled from a well-quasi-order and require the immersion to respect the labels.

Original language | English (US) |
---|---|

Pages (from-to) | 181-205 |

Number of pages | 25 |

Journal | Journal of Combinatorial Theory. Series B |

Volume | 100 |

Issue number | 2 |

DOIs | |

State | Published - Mar 2010 |

## All Science Journal Classification (ASJC) codes

- Theoretical Computer Science
- Discrete Mathematics and Combinatorics
- Computational Theory and Mathematics

## Keywords

- Graph minors
- Immersion
- Well-quasi-order