Search Results for ""

Even though real arithmetic is uncountable, it possesses a countable "model."

A Skolem sequence of order n is a sequence S={s_1,s_2,...,s_(2n)} of 2n integers such that 1. For every k in {1,2,...,n}, there exist exactly two elements s_i,s_j in S such ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...

The Reidemeister move of type III.

A space curve consisting of a spiral wound around a helix. It has parametric equations x = [R+acos(omegat)]cost (1) y = [R+acos(omegat)]sint (2) z = ht+asin(omegat). (3)

The slope-intercept form of a line in the Cartesian plane is given by y=mx+b, where b is the y-intercept and m is the slope.

Assemble six 1×2×2 blocks and three 1×1×1 blocks into a 3×3×3 cube.

The space of immersions of a manifold in another manifold is homotopically equivalent to the space of bundle injections from the tangent space of the first to the tangent ...

The polyhedron compound of the icosahedron (U_(22)) and the great dodecahedron (U_(35)), sometimes known as the small cid. Four faces meet at each edge of the small complex ...

The dual polyhedron of the small ditrigonal dodecicosidodecahedron U_(43) and Wenninger dual W_(82).