Proof theory of graph minors and tree embeddings
This thesis explores metamathematical properties of theorems appearing in the Graph Minors series. A number of these theorems have been known to have very high proof-theoretic strength, but an upper bound on many of them, including the graph minor theorem, had never been proved. We give such upper b...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leeds
2018
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.749410 |