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 2251–2400 of 2572.

Name	Kind	Subject
Multiset	Concept
Tame manifold	Concept
Almost all	Concept
Conservativity	Concept
Fourth example	Concept
Absolutely simple group	Concept
Model-theoretic validity	Concept
Quality	Concept
b□b	Concept
Sharpening	Concept
Permutations fixing a given set of points	Lemma	Combinatorics
Use	Concept
Single turnstile	Concept
Provability predicate	Concept
Sqb1	Concept
Sublanguage	Concept
Derivative of a function at a point	Concept	Real functions
Co-referential	Concept
Cartesian	Concept
Counternecessary conditional	Concept
Concept	Concept
Connected relation	Concept
Lie algebra	Definition	Nonassociative rings and algebras
Bicommutant	Concept
Disjoint union	Concept
Coreflexivity	Concept
Connexive logic	Concept
Interrogative logic	Concept
Seriality	Concept
Boolean negation	Concept
Necessity of identity	Concept
Pure weights	Concept	Number theory
Schema	Concept
Effectively computable function	Concept
Principle of mathematical induction for positive integers	Theorem	Mathematical logic and foundations
Convergence group	Concept
One-to-one	Concept
Prelinearity axiom	Concept
Supertrue	Concept
Discrepancy game	Concept
Definite description	Concept
Sorites series	Concept
Number of functions that avoid a given set of values	Lemma	Combinatorics
Knights	Concept
b,...,b	Concept
Invariant decomposition	Concept
Epsilon number	Concept
Antilogism	Concept
Cogent inductive argument	Concept
Cancellation law of addition for natural numbers	Theorem	Mathematical logic and foundations
Young symmetrizer	Concept
Unsound deductive argument	Concept
Self-contradictory	Concept
Course-of-values recursion	Concept
Cayley Ω process	Concept
Complexity theory	Concept
Covering relation in the poset of partitions of an integer	Proposition	Combinatorics
Explicit definition	Concept
Logic of conditionals	Concept
Almost simple group	Concept
Completeness of atomic initial sequents	Concept
Multiplication of integers is commutative, associative and distributive	Theorem	Commutative algebra
Regular	Concept
Tolerant	Concept
The usual order on the natural numbers is a total order	Theorem	Order, lattices, ordered algebraic structures
One-way function	Definition	Information and communication theory, circuits
Abelian	Concept
Predicate variable	Concept
Discharge	Concept
Binary	Concept
Trairāśika	Concept
Quadratrix of Hippias	Concept
Madhava series	Concept
Signorini problem	Problem	Mechanics of deformable solids
Objectual quantifier	Concept
Higman group	Concept
Frame semantics	Concept
De Morgan negation	Concept
Model category	Definition	Category theory; homological algebra
Prosentential	Concept
Rule of inference	Concept
Supervaluational semantics	Concept
Primitive recursive relation	Concept
Separative	Concept
Problem of the criterion	Problem
Token	Concept
Duality (mathematics)	Concept
Matrix exponential of a sum, commuting and non-commuting cases	Theorem	Linear and multilinear algebra; matrix theory
Tonk	Concept
Monadic function	Concept
Imperative	Concept
Non-alethic modal logic	Concept
Weak completeness	Concept
Demonstration	Concept
Rubik's Cube group	Concept
Free choice sequence	Concept
Dedekind zeta function	Definition	Number theory
Intersection type	Concept
Biconditional introduction	Concept
Denotation	Concept
Lightest edge leaving a component of a spanning forest extends to a minimum spanning tree	Lemma	Combinatorics
Every nonzero natural number is a successor	Theorem	Mathematical logic and foundations
Logic of questions and answers	Concept
Factivity	Concept
Meagre	Concept
Kripke structure	Concept
A tree with at least two vertices has at least two leaves	Proposition	Combinatorics
Index set	Concept
Elementary recursive function	Concept
Attainable null space	Concept	Functional analysis
Jónsson function	Concept
Finitely generated abelian group	Concept
Semi-decidable set	Concept
Doxastic modal logic	Concept
Equal	Concept
Uniqueness of a variable	Concept
Modal possibilism	Concept
Locally cyclic group	Concept
Mathematical abstractionism	Concept
Sophisma	Concept
Eigenvalues/characteristic roots	Concept
Semantically closed language	Concept
Syllogistic figure	Concept
Takeuti–Feferman–Buchholz ordinal	Concept
Transfer (group theory)	Concept
Right-open	Concept
Variety of algebras	Definition	General algebraic systems
Situation	Concept
Fluent calculus	Concept
Henkin sentence	Concept
Indiscernibility of identicals	Concept
Maximum and minimum	Definition	Real functions
Primorial number system	Concept
Epistemicism	Concept
Monadic predicate calculus	Concept
Fourier sine and cosine series of a function on an interval	Theorem	Harmonic analysis on Euclidean spaces
In rebus vagueness	Concept
Linearity of the Laplace transform	Proposition	Integral transforms, operational calculus
Quadratic function	Concept
Clifford semigroup	Concept
K5 is not planar	Theorem	Combinatorics
Typed lambda calculus	Concept
Negative proposition	Concept
Analytical	Concept
Increasing and decreasing function on an open interval	Concept	Real functions
Ultrafilter on a set	Concept
Anti-extension	Concept
Unique size of a nonempty finite set	Theorem	Mathematical logic and foundations
Strong Kleene connectives	Concept
Meet	Concept