Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic sentential formula Phi in Skolemized form forall x_1... forall x_nS, then a clause ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

Let X be a continuum (i.e., a compact connected metric space). Then X is hereditarily unicoherent provided that every subcontinuum of X is unicoherent. Any hereditarily ...

A knot that secures a rope to a post, ring, another rope, etc., but does not keep its shape by itself.

A formula for the number of Young tableaux associated with a given Ferrers diagram. In each box, write the sum of one plus the number of boxes horizontally to the right and ...

A linear transformation A:R^n->R^n is hyperbolic if none of its eigenvalues has modulus 1. This means that R^n can be written as a direct sum of two A-invariant subspaces E^s ...

A continuum that is not decomposable is an indecomposable continuum.

In Kepler's 1619 book Harmonice Mundi on tilings, he discussed a tiling built with pentagons, pentagrams, decagons, and "fused decagon pairs." He also called them "monsters." ...