Matches in SemOpenAlex for { <https://semopenalex.org/work/W2936997780> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2936997780 abstract "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 bounds, by showing that any proofs in the Graph Minors series can be carried out within a system of Pi^1_1-comprehension augmented with induction and bar-induction principles for certain classes of formulas. This establishes a narrow corridor for the possible proof-theoretic strength of many strong combinatorial principles, including the graph minor theorem, immersion theorem, theorems about patchwork containment, and various restrictions, extensions and labelled versions of these theorems. We also determine the precise proof-theoretic strength of some restrictions of the graph minor theorem, and show that they are equivalent to other restricted versions that had been considered before. Finally, we present a combinatorial theorem employing ordinal labelled trees ordered by embedding with gap-condition that may additionally have well-quasi-ordered labels on the vertices, which turns out not to be provable in the theory Pi^1_1-CA. This result suggests a potential for raising the lower bounds of the immersion theorem, and the thesis concludes by outlining this possibility and other avenues for further research." @default.
- W2936997780 created "2019-04-25" @default.
- W2936997780 creator A5072926151 @default.
- W2936997780 date "2018-02-01" @default.
- W2936997780 modified "2023-09-27" @default.
- W2936997780 title "Proof theory of graph minors and tree embeddings" @default.
- W2936997780 cites W1538190426 @default.
- W2936997780 cites W2002722727 @default.
- W2936997780 cites W2010142885 @default.
- W2936997780 cites W2030827296 @default.
- W2936997780 cites W2036740975 @default.
- W2936997780 cites W2039732465 @default.
- W2936997780 cites W2047871605 @default.
- W2936997780 cites W2052953762 @default.
- W2936997780 cites W2069331836 @default.
- W2936997780 cites W2079070096 @default.
- W2936997780 cites W2169416686 @default.
- W2936997780 cites W2331677784 @default.
- W2936997780 cites W2332112754 @default.
- W2936997780 cites W3163129388 @default.
- W2936997780 cites W594463866 @default.
- W2936997780 hasPublicationYear "2018" @default.
- W2936997780 type Work @default.
- W2936997780 sameAs 2936997780 @default.
- W2936997780 citedByCount "0" @default.
- W2936997780 crossrefType "dissertation" @default.
- W2936997780 hasAuthorship W2936997780A5072926151 @default.
- W2936997780 hasConcept C108710211 @default.
- W2936997780 hasConcept C114614502 @default.
- W2936997780 hasConcept C118539577 @default.
- W2936997780 hasConcept C118615104 @default.
- W2936997780 hasConcept C12595997 @default.
- W2936997780 hasConcept C132525143 @default.
- W2936997780 hasConcept C140752511 @default.
- W2936997780 hasConcept C154945302 @default.
- W2936997780 hasConcept C173644813 @default.
- W2936997780 hasConcept C17744445 @default.
- W2936997780 hasConcept C199539241 @default.
- W2936997780 hasConcept C203776342 @default.
- W2936997780 hasConcept C22149727 @default.
- W2936997780 hasConcept C2524010 @default.
- W2936997780 hasConcept C2779760435 @default.
- W2936997780 hasConcept C33923547 @default.
- W2936997780 hasConcept C41008148 @default.
- W2936997780 hasConcept C41608201 @default.
- W2936997780 hasConcept C43517604 @default.
- W2936997780 hasConceptScore W2936997780C108710211 @default.
- W2936997780 hasConceptScore W2936997780C114614502 @default.
- W2936997780 hasConceptScore W2936997780C118539577 @default.
- W2936997780 hasConceptScore W2936997780C118615104 @default.
- W2936997780 hasConceptScore W2936997780C12595997 @default.
- W2936997780 hasConceptScore W2936997780C132525143 @default.
- W2936997780 hasConceptScore W2936997780C140752511 @default.
- W2936997780 hasConceptScore W2936997780C154945302 @default.
- W2936997780 hasConceptScore W2936997780C173644813 @default.
- W2936997780 hasConceptScore W2936997780C17744445 @default.
- W2936997780 hasConceptScore W2936997780C199539241 @default.
- W2936997780 hasConceptScore W2936997780C203776342 @default.
- W2936997780 hasConceptScore W2936997780C22149727 @default.
- W2936997780 hasConceptScore W2936997780C2524010 @default.
- W2936997780 hasConceptScore W2936997780C2779760435 @default.
- W2936997780 hasConceptScore W2936997780C33923547 @default.
- W2936997780 hasConceptScore W2936997780C41008148 @default.
- W2936997780 hasConceptScore W2936997780C41608201 @default.
- W2936997780 hasConceptScore W2936997780C43517604 @default.
- W2936997780 hasLocation W29369977801 @default.
- W2936997780 hasOpenAccess W2936997780 @default.
- W2936997780 hasPrimaryLocation W29369977801 @default.
- W2936997780 hasRelatedWork W1691668264 @default.
- W2936997780 hasRelatedWork W2016227329 @default.
- W2936997780 hasRelatedWork W2130233653 @default.
- W2936997780 hasRelatedWork W2168409316 @default.
- W2936997780 hasRelatedWork W2247307046 @default.
- W2936997780 hasRelatedWork W2344557181 @default.
- W2936997780 hasRelatedWork W2553892286 @default.
- W2936997780 hasRelatedWork W2575486454 @default.
- W2936997780 hasRelatedWork W2600833896 @default.
- W2936997780 hasRelatedWork W2733387611 @default.
- W2936997780 hasRelatedWork W2735923117 @default.
- W2936997780 hasRelatedWork W2809891713 @default.
- W2936997780 hasRelatedWork W2902035538 @default.
- W2936997780 hasRelatedWork W2949884361 @default.
- W2936997780 hasRelatedWork W2952148513 @default.
- W2936997780 hasRelatedWork W2963872185 @default.
- W2936997780 hasRelatedWork W2964350138 @default.
- W2936997780 hasRelatedWork W2971507631 @default.
- W2936997780 hasRelatedWork W3117654597 @default.
- W2936997780 hasRelatedWork W3159158595 @default.
- W2936997780 isParatext "false" @default.
- W2936997780 isRetracted "false" @default.
- W2936997780 magId "2936997780" @default.
- W2936997780 workType "dissertation" @default.