Nodes at W1, stated
The main section of the kind, a source with a locator, and a body that passes the rules B01 to B03.
- W0 stub 19205
- W1 stated 2572
- W2 usable 62
- W3 complete 0
Ideas 2551–2572 of 2572.
| Name | Kind | Subject |
|---|---|---|
| Epsilon-induction | Concept | |
| Expressive completeness | Concept | |
| Derivable rule | Concept | |
| First uncountable ordinal | Concept | |
| Topological manifold | Definition | Manifolds and cell complexes |
| Numerical quantifier | Concept | |
| Much-greater-or-less | Concept | |
| Product formula for the totient function | Theorem | Number theory |
| Constructive set theory | Concept | |
| Division with remainder for natural numbers | Theorem | Number theory |
| Non-deterministic polynomial time | Concept | |
| Strength (mathematical logic) | Concept | |
| Iterative conception of set | Concept | |
| Counterfactual logic | Concept | |
| Count of integers up to n divisible by a set of primes dividing n | Proposition | Number theory |
| Concave up and concave down | Concept | Real functions |
| Implicational propositional calculus | Concept | |
| Addition and multiplication of rationals respect equality | Theorem | Number theory |
| π | Concept | |
| Exclusion negation | Concept | |
| No surjection from the positive integers onto the unit interval | Proposition | Mathematical logic and foundations |
| Higher-order vagueness | Concept |