Van der Waerden's theorem
This page lists the items of the Wikipedia article Van der Waerden's theorem in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1360745092, with the assessment Start/Mid.
| Outcome | Items |
|---|---|
| attached | 8 |
| deferred | 7 |
The gap signals of the article are S1,S4,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | statement | Van der Waerden's theorem | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #69NE | proof | Proof | attached | ||
| #7DKH | proof | Proof in the case of W(2, 3) | attached | ||
| #98YM | proof | attached | |||
| #9W67 | proof | attached | |||
| #APJT | proof | Proof in the case of W(3, 3) | attached | ||
| #DNH4 | statement | Lemma 1 | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #H4UD | proof | Proof | attached | ||
| #LFDH | statement | Lemma 2 | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #M9QU | proof | Proof of Van der Waerden's theorem (in a special case) | attached | ||
| #O5Z4 | proof | Proof in general case | attached | ||
| #ON7V | statement | Theorem (van der Waerden, 1927) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #UN75 | statement | Open problem | deferred until 2027-05-01 | the cue heading names a section and not one item | |
| #UOYG | statement | multiple Birkhoff recurrence theorem (Furstenberg and Weiss, 1978) | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #YJ6S | example | Example | deferred until 2027-05-01 | the cue heading names a section and not one item |
Refer to Wikipedia articles and their nodes for the other articles.