Compactness theorem
This page lists the items of the Wikipedia article Compactness 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 1312261892, with the assessment Start/Mid.
| Outcome | Items |
|---|---|
| deferred | 4 |
| attached | 2 |
| node | 1 |
The gap signals of the article are S1,S4,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | statement | Compactness theorem | deferred until 2027-05-01 | node 1NR3HAWG9D has the same name, and a person decides if they are one item | |
| #91J0 | statement | Robinson's principle | node (adopted) | Robinson's principle | |
| #9YWD | statement | Compactness theorem | deferred until 2027-05-01 | the cue infobox-mathematical-statement names a section and not one item | |
| #GE8L | proof | Proofs | attached | ||
| #HLX4 | example | Applications | deferred until 2027-05-01 | the cue heading names a section and not one item | |
| #LAOV | proof | Proof | attached | ||
| #PGNU | statement | Upward Löwenheim–Skolem theorem | deferred until 2027-05-01 | the item has its own article, page 341482 |
Refer to Wikipedia articles and their nodes for the other articles.