Category:Mathematical logic stubs
This category is maintained by WikiProject Stub sorting.
Please propose new stub templates and categories here before creation.
Please propose new stub templates and categories here before creation.
This category is for stub articles relating to Mathematical logic. You can help by expanding them.
To add an article to this category, use
To add an article to this category, use
{{Mathlogic-stub}} instead of {{stub}}.Subcategories
This category has the following 2 subcategories, out of 2 total.
*
- Set theory stubs (91 P)
Pages in category "Mathematical logic stubs"
The following 93 pages are in this category, out of 93 total. This list may not reflect recent changes.
0–9
C
- Cantor–Dedekind axiom
- Cascode voltage switch logic
- Centered set
- Chang's conjecture
- Completeness of atomic initial sequents
- Computable isomorphism
- Computable measure theory
- Computable model theory
- Computable real function
- Constructive nonstandard analysis
- Continuous function (ordinal theory)
- Convergence (logic)
- Countryman line
- Cubical type theory
- Cut rule
- Cyclic negation
