List of first-order theories
This page lists the items of the Wikipedia article List of first-order theories 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 1358136878, with the assessment B/Low.
| Outcome | Items |
|---|---|
| deferred | 57 |
| node | 3 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of first-order theories | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #2FRL | statement | Proper forcing axiom | deferred until 2027-05-01 | the item has its own article, page 6250799 | |
| #4585 | definition | Symmetric | deferred until 2027-05-01 | the item has its own article, page 53741 | |
| #5FAC | definition | Equivalence classes | deferred until 2027-05-01 | the item has its own article, page 9260 | |
| #5M8V | definition | sentences | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #6WCL | definition | Model complete | deferred until 2027-05-01 | the item has its own article, page 15931153 | |
| #6XQ9 | definition | Torsion free | node (adopted) | Torsion free | |
| #7NCF | definition | Morse–Kelley set theory | deferred until 2027-05-01 | the item has its own article, page 2693655 | |
| #890J | definition | Positive set theory | deferred until 2027-05-01 | the item has its own article, page 1023857 | |
| #8B8X | definition | Anti-reflexive | deferred until 2027-05-01 | the item has its own article, page 200458 | |
| #8C6V | definition | Zermelo set theory | deferred until 2027-05-01 | the item has its own article, page 322623 | |
| #8CNZ | definition | Reflexive | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #8W6F | statement | Martin's axiom | deferred until 2027-05-01 | the item has its own article, page 1550783 | |
| #8WI7 | definition | Dense | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #ANIM | definition | Binary function | deferred until 2027-05-01 | the item has its own article, page 3943 | |
| #AQZ6 | topic | Algebra | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #B4XK | definition | Quantifier elimination | deferred until 2027-05-01 | the item has its own article, page 2150441 | |
| #B8FH | statement | first-order formula | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #BNBS | definition | New Foundations | deferred until 2027-05-01 | the item has its own article, page 945957 | |
| #BULK | definition | Von Neumann–Bernays–Gödel set theory | deferred until 2027-05-01 | the item has its own article, page 528491 | |
| #CDJ7 | definition | κ-categorical | deferred until 2027-05-01 | the item has its own article, page 1096396 | |
| #CLWY | definition | Partial | deferred until 2027-05-01 | the item has its own article, page 4452009 | |
| #DBD3 | definition | atomic model | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #DGY8 | definition | Superstable | deferred until 2027-05-01 | the item has its own article, page 15828771 | |
| #DVE9 | definition | Transitive | node (adopted) | Transitive | |
| #FHMO | definition | Divisible | deferred until 2027-05-01 | the item has its own article, page 49492 | |
| #FILC | statement | Generalized continuum hypothesis | deferred until 2027-05-01 | the item has its own article, page 5705 | |
| #G60A | unknown | Analytic determinacy | deferred until 2027-05-01 | the kind of the item is unknown | |
| #GZB6 | topic | large cardinal axioms | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #H924 | definition | eliminate imaginaries | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #HJUZ | statement | Axiom of choice | deferred until 2027-05-01 | the item has its own article, page 840 | |
| #HY4U | definition | Differential field | deferred until 2027-05-01 | the item has its own article, page 1816587 | |
| #IZ1S | definition | Exponent | deferred until 2027-05-01 | the item has its own article, page 99491 | |
| #JTH6 | definition | decidable | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #KA9G | topic | Set theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #KDSF | definition | Propositional function | deferred until 2027-05-01 | the item has its own article, page 229146 | |
| #KG9A | statement | Axiom of constructibility | deferred until 2027-05-01 | the item has its own article, page 696472 | |
| #KL97 | definition | Abelian | node (adopted) | Abelian | |
| #KMLZ | definition | Linear | deferred until 2027-05-01 | the item has its own article, page 91591 | |
| #L1JK | definition | Antisymmetric | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #MX7P | definition | Differentially closed field | deferred until 2027-05-01 | the item has its own article, page 10470883 | |
| #N4D7 | statement | finitely axiomatizable | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #OHQM | definition | Modular lattice | deferred until 2027-05-01 | the item has its own article, page 1089311 | |
| #OOB8 | definition | Prime model | deferred until 2027-05-01 | the item has its own article, page 1663421 | |
| #OYOM | definition | stable | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #P1YP | definition | Ackermann set theory | deferred until 2027-05-01 | the item has its own article, page 8635441 | |
| #QHN2 | definition | Nilpotent | deferred until 2027-05-01 | the item has its own article, page 252235 | |
| #QLTE | definition | Scott–Potter set theory | deferred until 2027-05-01 | the item has its own article, page 6152392 | |
| #SG55 | definition | Mac Lane set theory | deferred until 2027-05-01 | the item has its own article, page 322623 | |
| #TNCM | definition | Saturated model | deferred until 2027-05-01 | the item has its own article, page 535836 | |
| #TS85 | definition | Tarski–Grothendieck set theory | deferred until 2027-05-01 | the item has its own article, page 6105873 | |
| #VBQ9 | definition | Ω-stable | deferred until 2027-05-01 | the item has its own article, page 15828771 | |
| #VCGP | definition | Distributive lattice | deferred until 2027-05-01 | the item has its own article, page 310883 | |
| #W8PW | definition | Powerset | deferred until 2027-05-01 | the item has its own article, page 23799 | |
| #WAET | statement | Completeness theorem | deferred until 2027-05-01 | the item has its own article, page 12450 | |
| #WN2E | statement | ◊ | deferred until 2027-05-01 | the name does not start with a letter or a digit, so the name lost a part, such as math | |
| #XEBJ | definition | Solvable | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #YXG9 | unknown | Pure identity theory | deferred until 2027-05-01 | the kind of the item is unknown | |
| #Z7FI | definition | Unary function | deferred until 2027-05-01 | the item has its own article, page 1514907 | |
| #ZHXE | definition | Zermelo–Fraenkel set theory | deferred until 2027-05-01 | the item has its own article, page 152214 |
Refer to Wikipedia articles and their nodes for the other articles.