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 2101–2250 of 2572.

Name	Kind	Subject
Determinant of a product of real or complex matrices	Theorem	Linear and multilinear algebra; matrix theory
Partial logic	Concept
Euler's formula for a real angle, both signs	Theorem	Special functions
Limiting distribution of a regular transition matrix	Theorem	Probability theory and stochastic processes
Pmatrix	Concept
A square matrix is invertible iff its determinant is nonzero	Theorem	Linear and multilinear algebra; matrix theory
Disquotationalism	Concept
Generalized binomial coefficient	Concept	Combinatorics
Infinity-Borel set	Concept
Conjunct	Concept
Sylow theorems	Theorem	Group theory and generalizations
Redundant proof	Concept
False (logic)	Concept
Erdős–Ko–Rado theorem	Theorem	Combinatorics
Arithmetic hyperbolic 3-manifold	Concept
Conjunction introduction	Concept
b:b	Concept
Subaltern	Concept
Eigenfunctions of a regular Sturm–Liouville problem are orthogonal for the weight	Theorem	Ordinary differential equations
Predicate term	Concept
Mood	Concept
Forced march sorites	Concept
Boolean invariant	Concept
Disjunction elimination	Concept
Special case	Concept
Countermodel	Concept
Strong mathematical induction	Concept
Quine's dictum	Concept
Subpaths of a shortest path are shortest paths	Proposition	Combinatorics
Sum rule for exponents of natural numbers	Proposition	Number theory
Distributive predication	Concept
Communality	Concept
Sqb2:	Concept
Vel	Concept
Necessitation rule	Concept
Definable real number	Concept
Knaves	Concept
Extension by definition	Concept
Harshad number	Concept
Integral flow theorem	Theorem	Operations research, mathematical programming
Picard's theorem for first order equations with continuous partial derivative	Theorem	Ordinary differential equations
Package deal	Concept
Double turnstile	Concept
Pred-succ	Concept
Dilworth's theorem	Theorem	Order, lattices, ordered algebraic structures
Fuzzy set	Concept
Logical antirealism	Concept
Strong paraconsistency	Concept
Schönflies notation	Concept
Molecule	Concept
Global maximum and global minimum of a function	Concept	Real functions
Double extension set theory	Concept
Ternary semantics	Concept
Countability of the rationals and the failure of a surjection onto the reals	Theorem	Mathematical logic and foundations
Suppressed evidence	Concept
Epistemic closure	Concept
Logic of weak excluded middle	Concept
Selection	Concept
Cichoń's diagram	Concept
Rigid designator	Concept
Non-wellfounded mereology	Concept
Herbrand structure	Concept
Minimization	Concept
Inconsistent arithmetic	Concept
Higher-order quantifier	Concept
Qed	Concept
Directed	Concept
Verbal subgroup	Concept
Compound formula	Concept
Necessity	Concept
Effectively decidable theory	Concept
Beta-model	Concept
Proof-theoretic validity	Concept
Categorical	Concept
Image (mathematics)	Concept
Bendixson's criterion for planar systems	Theorem	Ordinary differential equations
Free factor complex	Concept
Convergence of the Fourier series of a piecewise smooth function	Theorem	Harmonic analysis on Euclidean spaces
Euclidean	Concept
Contrary	Concept
Disjunct	Concept
On-line antichain partition of a poset of bounded height	Theorem	Order, lattices, ordered algebraic structures
Inferentialism	Concept
Falsemaker	Concept
Presentation of a monoid	Concept
Abduction	Concept
Analytic	Concept
Language	Concept
Continuity at a point via limits	Concept	Real functions
Chromatic number is at least the clique number	Theorem	Combinatorics
Pre-ordering	Concept
Superposition for linear homogeneous systems	Theorem	Ordinary differential equations
Dagger	Concept
Average rate of change	Concept	Real functions
Affine logics	Concept
Designated value	Concept
DPLL algorithm	Concept
Truth-in-a-model	Concept
Chronological logic	Concept
Residuated Boolean algebra	Concept
Disjoint	Concept
Subcountability	Concept
Boolean operator	Concept
Iiint	Concept
Counterpart theory	Concept
Binary octahedral group	Concept
Constructible	Concept
Words and profiles	Definition	Combinatorics
Arithmetic laws of the rational numbers	Theorem	Field theory and polynomials
Bottom	Concept
Refinement type	Concept
Descriptive function	Concept
Buridan's sophismata	Concept
Syllogistic terms	Concept
Automaton	Concept
Effectively enumerable set	Concept
Turing recognizable set	Concept
First-degree entailment (FDE)	Concept
Conway polynomial (finite fields)	Concept
Semi-decidable theory	Concept
Shelah cardinal	Concept
Sun Tzu	Concept
Iint	Concept
Connected	Concept
Deduction	Concept
Eigenfunction expansion for a regular Sturm–Liouville problem	Theorem	Ordinary differential equations
Edge count of a spanning forest	Theorem	Combinatorics
Correspondence theory of truth	Concept
Aronhold invariant	Concept
Correctness of Dijkstra's algorithm	Theorem	Combinatorics
Empty concept	Concept
Poincaré–Bendixson theorem for a bounded region without equilibria	Theorem	Ordinary differential equations
Continuous	Concept
Unbounded operator	Definition	Operator theory
Three utilities problem	Problem
Rathjen's psi function	Concept
Causal logic	Concept
Generalized quantifier	Concept
Subject term	Concept
Homogeneous	Concept
Light's associativity test	Concept
Punctuation	Concept
Pólya enumeration theorem	Theorem	Combinatorics
Greater-equal sign	Concept
E-proposition	Concept
Left field	Concept
Salmon invariant	Concept
Island of knights and knaves	Concept
Iteration theorem	Concept
Less-equal sign	Concept