Search Results for ""

An analytic, Borel, or coanalytic set.

One of the three 2-polyaboloes.

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.

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.

For n players, n-1 games are needed to fairly determine first place, and n-1+lg(n-1) are needed to fairly determine first and second place.

A vector specifying how layers are stacked in a laminated lattice.

A Horn clause without a positive literal.