Search Results for ""

The underlying set of the fundamental group of X is the set of based homotopy classes from the circle to X, denoted [S^1,X]. For general spaces X and Y, there is no natural ...

A definable set which is the complement of an analytic set.

Two open manifolds M and M^' are cobordant if there exists a manifold with boundary W^(n+1) such that an acceptable restrictive relationship holds.

The converse of Fisher's theorem.

A theorem that guarantees that the trajectory of Langton's ant is unbounded.

An abbreviation for the cokernel.

The logarithm of the reciprocal of a number, equal to the negative of the logarithm of the number itself, cologx=log(1/x)=-logx.

Combinatorial game theory is the theory of two-player games of perfect knowledge such as go, chess, or checkers.

The value of b, where a=b (mod m), taken to be nonnegative and smaller than m.

The process of taking the complement of a set or truth function. In the latter case, complementation is equivalent to the NOT operation.