Search Results for ""

If q is logically deducible from p, this is written p|-q.

An analytic, Borel, or coanalytic set.

One of the three 2-polyaboloes.

A cryptarithmetic in which digits are used to represent other digits.

A simple graph with n>=3 graph vertices in which each graph vertex has vertex degree >=n/2 has a Hamiltonian cycle.

One of the Eilenberg-Steenrod axioms which states that, if X is a space with subspaces A and U such that the set closure of A is contained in the interior of U, then the ...

The exists quantifier exists .

A tree spread in which each node has a finite number of children.

The Foster cage is one of the four (5,5)-cage graphs. Like the other (5,5)-cages, the Foster cage has 30 nodes. It has 75 edges, diameter 3, girth 5, chromatic number 4, and ...

If the average number of envelopes per pigeonhole is a, then some pigeonhole will have at least a envelopes. Similarly, there must be a pigeonhole with at most a envelopes.