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 3001–3105 of 3105.

Name	Kind	Subject
Extraction sums of squared loadings	Concept
Accessibility relation	Concept
Bezoutic	Concept
Negation consistency	Concept
Cube (algebra)	Concept
Biconditional elimination	Concept
Jucys–Murphy element	Concept
Paving matroid	Concept
Correlation immunity	Concept
Weak mathematical induction	Concept
Inclusion–exclusion formula for elements with none of the properties	Theorem	Combinatorics
Harmony	Concept
Kleene–Brouwer order	Concept
Existence predicate	Concept
Subordinate connective	Concept
Propositional connective	Concept
Existence and uniqueness for second-order linear initial value problems	Theorem	Ordinary differential equations
Cyclotomic character	Concept
Abstraction principle	Concept
General number field sieve	Concept
Stratified	Concept
Incident	Concept
Recognizable	Concept
Double graph	Concept
Group ring	Definition	Associative rings and algebras
Less	Concept
Root system	Definition	Nonassociative rings and algebras
Sqbf	Concept
Attainable null space	Definition	Functional analysis
Mixed	Concept
Independent	Concept
Reduction (computability theory)	Concept
Convolution of central binomial coefficients	Corollary	Combinatorics
Child	Concept
o-proposition	Concept
Ratio and root limits give the radius of convergence	Theorem	Functions of a complex variable
Germ	Definition	General topology
Recurrence for the falling factorial	Lemma	Combinatorics
CLRg property	Concept
Additive inverse	Concept
Exchange	Concept
Transitivity of the pair relation for constructing the integers	Lemma	Number theory
Degree-theoretic semantics	Concept
Pathwidth	Concept
Distributive laws	Concept
Lattices	Concept
Isolated	Concept
Kelley	Concept
Perron number	Concept
Arithmetic Fuchsian group	Concept
Oscillation of a function	Definition	Real functions
Minimalism	Concept
Lefschetz zeta function	Concept
Ring of modular forms	Concept
Extensional function	Concept
Digital root	Concept
Omega	Concept
Coins in a fountain	Concept
Eddington number	Concept
Contextualism	Concept
Triameter (graph theory)	Concept
Inclusive first-order logic	Concept
Clique-width	Concept
Infinity	Concept
Bipartite	Concept
Implication graph	Concept
Practical number	Concept
Positive set theory	Concept
Invalid deductive argument	Concept
Limiting proportion of derangements	Theorem	Combinatorics
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
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
π	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
Higher-order vagueness	Concept
Bramble (graph theory)	Concept