Unprovability threshold for the planar graph minor theorem (Q638483): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2010.09.003 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1976818913 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Growth constants of minor-closed classes of graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3656422 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4386297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5315023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682013 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772200 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random graphs on surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random planar graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proper minor-closed families are small / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An application of graphical enumeration to PA * / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Phase transitions for Gödel incompleteness / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:21, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unprovability threshold for the planar graph minor theorem |
scientific article |
Statements
Unprovability threshold for the planar graph minor theorem (English)
0 references
12 September 2011
0 references
unprovability
0 references
graph minor theorem
0 references
impredicative methods
0 references
unprovability threshold
0 references
Weiermann's programme
0 references
growth constant
0 references