Wikipedia:WikiProject Mathematics/Wikipedia 1.0/Foundations, logic, and set theory
From Wikipedia, the free encyclopedia
|
||||||||||||||
This page lists articles that have been assigned to the field Foundations, logic, and set theory using the {{maths rating}} template. To include articles on this page, use the following wiki code (in which newlines are optional).
{{maths rating
|class = quality grading (FA, A, GA, Bplus, B, Start, or Stub)
|importance = priority level (Top, High, Mid, or Low)
|field = Foundations
}}
Description
This field is for articles which on foundational aspects of mathematics, including:
- mathematical logic, model theory, set theory, some general topology and category theory.
Some articles in these areas might instead be rated under algebra or topology, depending on their content. This field does not include articles on elementary set theory or arithmetic, which are rated under basics.
| Foundations, logic, and set theory article ratings | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Priority | Quality | ||||||||
 FA |
 A |
 GA |
B+ | B | Start | Stub | UA | Total | |
| Top | 0 | 0 | 0 | 3 | 11 | 5 | 0 | 0 | 19 |
| High | 0 | 0 | 0 | 3 | 21 | 35 | 4 | 0 | 63 |
| Mid | 0 | 1 | 0 | 7 | 41 | 88 | 44 | 0 | 181 |
| Low | 0 | 0 | 0 | 1 | 15 | 79 | 100 | 0 | 195 |
| UA | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 2 |
| Total | 0 | 1 | 0 | 14 | 88 | 208 | 148 | 1 | 460 |
The articles in this field are sorted by importance (or priority) and listed in the tables below. These tables are updated automatically by VeblenBot.
| Foundations, logic, and set theory articles by priority | ||||
| Top-Priority | High-Priority | Mid-Priority | Low-Priority | Unassessed priority |
Top-Priority
| Article | Grade | Comments | |
|---|---|---|---|
| Category theory (talk) | B+ | ||
| Logic (talk) | B+ | ||
| Mathematical induction (talk) | B+ | ||
| Axiom of choice (talk) | B | ||
| Boolean algebra (logic) (talk) | B | ||
| Category (mathematics) (talk) | B | ||
| Computable function (talk) | B | ||
| Equivalence relation (talk) | B | ||
| Gödel's incompleteness theorems (talk) | B | ||
| Mathematical logic (talk) | B | ||
| Propositional calculus (talk) | B | ||
| Russell's paradox (talk) | B | ||
| Set (mathematics) (talk) | B | ||
| Set theory (talk) | B | ||
| Commutative diagram (talk) | Start | ||
| Conjecture (talk) | Start | ||
| Foundations of mathematics (talk) | Start | ||
| Function composition (talk) | Start | ||
| Mathematical proof (talk) | Start |
High-Priority
Mid-Priority
Low-Priority
Unassessed priority
| Article | Grade | Comments | |
|---|---|---|---|
| Ε₀ (talk) | Start | ||
| Association for Logic, Language and Information (talk) | None |
