Search Results for ""

An infinite set, such as the real numbers, which is not countably infinite.

Not decidable as a result of being neither formally provable nor unprovable.

A game in which a certain player can always win when he plays properly. All categorical games are unfair (Steinhaus 1999, p. 16), as is the game of Marienbad.

A union-closed set is a nonempty finite collection of distinct nonempty finite sets which is closed under union.

A uniquely complemented lattice is a complemented lattice (L, ^ , v ,0,1,^') that satisfies ( forall x in L)( forall y in L)[(x ^ y=0) ^ (x v y=1)]=>y=x^'. The class of ...

A point lattice which can be constructed from an arbitrary parallelogram of unit area. For any such planar lattice, the minimum distance c between any two points is a ...

An R-module M is said to be unital if R is a commutative ring with multiplicative identity 1=1_R and if 1m=m for all elements m in M.

If the property of being an object is expressed by a basic predicate of the system, then such a predicate (if it exists) is called a universal predicate, or universal ...

A property of individuals which is shared by every individual.

The quantifier "for all" ( forall ), sometimes also known as the "general quantifier."