Search Results for ""

A sentential variable, also called a propositional variable, that can be substituted for in arbitrary sentential formulas (Carnap 1958, p. 24).

A morphism f:X->Y is said to be separable if K(X) is a separable extension of K(Y).

A polynomial with coefficients in a field is separable if its factors have distinct roots in some extension field.

A topological space having a countable dense subset. An example is the Euclidean space R^n with the Euclidean topology, since it has the rational lattice Q^n as a countable ...

Given a subalgebra A of the algebra B(H) of bounded linear transformations from a Hilbert space H onto itself, the vector v in H is a separating vector for A if the only ...

Two distinct point pairs AC and BD separate each other if A, B, C, and D lie on a circle (or line) in such order that either of the arcs (or the line segment AC) contains one ...

There exist numbers y_1<y_2<...<y_(n-1), a<y_(n-1), y_(n-1)<b, such that lambda_nu=alpha(y_nu)-alpha(y_(nu-1)), (1) where nu=1, 2, ..., n, y_0=a and y_n=b. Furthermore, the ...

A phase curve (i.e., an invariant manifold) which meets a hyperbolic fixed point (i.e., an intersection of a stable and an unstable invariant manifold) or connects the ...

An algebraic surface of degree 7. The Labs septic is an example of a septic surface.

Let a sequence {a_i}_(i=1)^infty be strictly increasing and composed of nonnegative integers. Call A(x) the number of terms not exceeding x. Then the density is given by ...