Theory (mathematical logic)
This page lists the items of the Wikipedia article Theory (mathematical logic) 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 1374090027, with the assessment Start/Low.
| Outcome | Items |
|---|---|
| deferred | 2 |
| node | 1 |
The gap signals of the article are S1,S4,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | Theory | deferred until 2027-05-01 | node 92SWXST1ZM has the same name, and a person decides if they are one item | |
| #P7IH | unknown | Extension (theory) | deferred until 2027-05-01 | the kind of the item is unknown | |
| #RBZ3 | statement | First-order theories with identity | node (adopted) | First-order theories with identity |
Refer to Wikipedia articles and their nodes for the other articles.