Search Results for ""

An connective in logic which converts true to false and false to true. NOT A is denoted !A, ¬A, A^_ (Simpson 1987, p. 537) or ∼A (Carnap 1958, p. 7; Mendelson 1997, p. 12). ...

The doublestruck capital letter Z, Z, denotes the ring of integers ..., -2, -1, 0, 1, 2, .... The symbol derives from the German word Zahl, meaning "number" (Dummit and Foote ...

A Z-action or N-action. A cascade and a single map X->X are essentially the same, but the term "cascade" is preferred by many Russian authors.

An abbreviation for the cokernel.

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 ...

Given a subspace A of a space X and a map from A to a space Y, is it possible to extend that map to a map from X to Y?

A refinement X of a cover Y is a cover such that every element x in X is a subset of an element y in Y.

An action with G=R^+.

An h-cobordism is a bordism W between two manifolds M_1 and M_2 such that W is simply connected and the inclusion maps M_1->W and M_2->W are homotopy equivalences.

A connective in logic which yields true if all conditions are true, and false if any condition is false. A AND B is denoted A ^ B (Mendelson 1997, p. 12), A&B, A intersection ...