Search Results for ""

Let K be a class of topological spaces that is closed under homeomorphism, and let X be a topological space. If X in K and for every Y in K such that X subset= Y, X is a ...

A theorem which treats constructions of fields of field characteristic p.

A presheaf C of categories consists of the following data: 1. For every local homeomorphism f:Y->X of topological spaces X, Y, a category C(f:Y->X); 2. For every diagram f ...

A version of set theory which is a formal system expressed in first-order predicate logic. Zermelo-Fraenkel set theory is based on the Zermelo-Fraenkel axioms. ...

The term "higher dimensional group theory" was introduced by Brown (1982), and refers to a method for obtaining new homotopical information by generalizing to higher ...

In a set X equipped with a binary operation · called a product, the multiplicative identity is an element e such that e·x=x·e=x for all x in X. It can be, for example, the ...

An extension A subset B of a group, ring, module, field, etc., such that A!=B.

A field K is said to be algebraically closed if every polynomial with coefficients in K has a root in K.

von Neumann-Bernays-Gödel set theory (abbreviated "NBG") is a version of set theory which was designed to give the same results as Zermelo-Fraenkel set theory, but in a more ...

The mean clustering coefficient of a graph G is the average of the local clustering coefficients of G. It is implemented in the Wolfram Language as ...