Category:Mathematical logic stubs
From Wikipedia, the free encyclopedia
|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 123 pages are in this category, out of 123 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 model theory
- Computable real function
- Conservativity theorem
- Constructive non-standard analysis
- Continuous function (set theory)
- Continuum (set theory)
- Countryman line
- Cyclic negation
- Least fixed point
- LEGO (proof assistant)
- Lightface analytic game
- Limited principle of omniscience
- Lindström's theorem
- Linked set
- Logic for Computable Functions
- Logical assertion
- Logical graph
- Logical machine
- Łoś–Tarski preservation theorem
- Low (computability)
- Low basis theorem
- Lusin's separation theorem