Category:Mathematical logic stubs
Jump to navigation Jump to search
|This category is maintained by WikiProject Stub sorting.
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
This category has the following 2 subcategories, out of 2 total.
Pages in category "Mathematical logic stubs"
The following 111 pages are in this category, out of 111 total. This list may not reflect recent changes (learn more).
- Cantor–Dedekind axiom
- Centered set
- Chang's conjecture
- Class logic
- Classical mathematics
- Coherent space
- Complete theory
- Completeness of atomic initial sequents
- Computable isomorphism
- Computable measure theory
- Computable real function
- Conservativity theorem
- Constructive non-standard analysis
- Continuous function (set theory)
- Continuum (set theory)
- Countryman line
- Cyclic negation