Search Results for ""

The term "rhombicuboctahedron" is most commonly used (e.g., Wenninger 1989, p. 27; Maeder 1997) to refer to the 26-faced Archimedean solid with faces 8{3}+18{4}. Cundy and ...

Let X be a set of urelements, and let V(X) be the superstructure with X as its set of individuals. Let kappa be a cardinal number. An enlargement V(^*X) is kappa-saturated ...

The small dodecicosidodecahedron is the uniform polyhedron with Maeder index 33 (Maeder 1997), Wenninger index 72 (Wenninger 1989), Coxeter index 42 (Coxeter et al. 1954), ...

The snub dodecadodecahedron, not to be confused with the Archimdean snub dodecahedron, is the uniform polyhedron is the uniform polyhedron with Maeder index 40 (Maeder 1997), ...

The stellated truncated hexahedron (Maeder 1997), also called the quasitruncated hexahedron (Wenninger 1989, p. 144), is the uniform polyhedron with Maeder index 19 (Maeder ...

Tarski's theorem says that the first-order theory of reals with +, *, =, and > allows quantifier elimination. Algorithmic quantifier elimination implies decidability assuming ...

The truncated great dodecahedron is the uniform polyhedron with Maeder index 37 (Maeder 1997), Wenninger index 75 (Wenninger 1989), Coxeter index 47 (Coxeter et al. 1954), ...

The partitioning of a plane with n points into convex polygons such that each polygon contains exactly one generating point and every point in a given polygon is closer to ...

A fractal is an object or quantity that displays self-similarity, in a somewhat technical sense, on all scales. The object need not exhibit exactly the same structure at all ...

The Lambert W-function, also called the omega function, is the inverse function of f(W)=We^W. (1) The plot above shows the function along the real axis. The principal value ...