Search Results for ""

The problem of finding all independent irreducible algebraic relations among any finite set of quantics.

Given a set X, a set function mu^*:2^X->[0,infty] is said to be an outer measure provided that mu^*(emptyset)=0 and that mu^* is countably monotone, where emptyset is the ...

The upper irredundance number IR(G) of a graph G is the maximum size of an irredundant set of vertices in G. It is therefore equal to the size of a maximum irredundant set as ...

A Brunnian link is a set of n linked loops such that each proper sublink is trivial, so that the removal of any component leaves a set of trivial unlinked unknots. The ...

Consider the set of compact n-Riemannian manifolds M with diameter(M)<=d, Volume(M)>=V, and |K|<=kappa where kappa is the sectional curvature. Then there is a bound on the ...

A conclusion is a statement arrived at by applying a set of logical rules known as syllogisms to a set of premises. The process of drawing conclusions from premises and ...

An ordered pair (a,b) of nonnegative integers such that there is some set of a points and b edges whose removal disconnects the graph and there is no set of a-1 nodes and b ...

Let S be the set of all possibilities that satisfy hypothesis H, and let S^' be the set of all possibilities that satisfy hypothesis H^'. Then H^' is a nested hypothesis ...

The set of projective projectively extended real numbers. Unfortunately, the notation is not standardized, so the set of affinely extended real numbers, denoted here R^_, is ...

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 ...