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.

Ideas 3301–3338 of 3338.

Name	Kind	Subject
Tarskian hierarchy	Concept
Aristotelian comprehension schema	Concept
Epsilon-induction	Concept
Expressive completeness	Concept
Derivable rule	Concept
Bag	Concept
First uncountable ordinal	Concept
Line graph of a hypergraph	Concept
Topological manifold	Definition	Manifolds and cell complexes
Recursive tree	Concept
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
Jacobsthal number	Concept
Torsion sheaf	Concept
Direct predecessor	Concept
Counterfactual logic	Concept
Pocklington primality test	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
Bridgeless	Concept
Implicational propositional calculus	Concept
Addition and multiplication of rationals respect equality	Theorem	Number theory
Quartic	Concept
π	Concept
Exclusion negation	Concept
Source	Concept
Dual lattice	Concept
Evdokimov's algorithm	Concept
No surjection from the positive integers onto the unit interval	Proposition	Mathematical logic and foundations
Morley–Wang–Xu element	Concept
Higher-order vagueness	Concept
Bramble (graph theory)	Concept