Search Results for ""

Model theory is a general theory of interpretations of axiomatic set theory. It is the branch of logic studying mathematical structures by considering first-order sentences ...

The second-order ordinary differential equation x^2(d^2y)/(dx^2)+x(dy)/(dx)-(x^2+n^2)y=0. (1) The solutions are the modified Bessel functions of the first and second kinds, ...

The modified Lommel functions of the first and second kind give the solution to the Lommel differential equation with a minus sign in front of the linear term, i.e., ...

The length of all composition series of a module M. According to the Jordan-Hölder theorem for modules, if M has any composition series, then all such series are equivalent. ...

Modus tollens is a valid argument form in propositional calculus in which p and q are propositions. If p implies q, and q is false, then p is false. Also known as an indirect ...

The equation x_1^2+x_2^2+...+x_n^2-2x_0x_infty=0 represents an n-dimensional hypersphere S^n as a quadratic hypersurface in an (n+1)-dimensional real projective space ...

Let A={a_1,a_2,...} be a free Abelian semigroup, where a_1 is the identity element, and let mu(n) be the Möbius function. Define mu(a_n) on the elements of the semigroup ...

A one-sided surface reminiscent of the Möbius strip, attributed to Gourmalin (Bouvier and George 1979, p. 477; Boas 1995). This surface is topologically equivalent to a Klein ...

Tiling of a Möbius strip can be performed immediately by carrying over a tiling of a rectangle with the same two-sided surface area. However, additional tilings are possible ...

The theorem of Möbius tetrads, also simply called Möbius's theorem by Baker (1925, p. 18), may be stated as follows. Let P_1, P_2, P_3, and P_4 be four arbitrary points in a ...