Search Results for ""

A generalization of a Heyting algebra which replaces Boolean algebra in "intuitionistic" logic.

An algebra which does not satisfy a(bc)=(ab)c is called a nonassociative algebra.

A set equipped with a sigma-algebra of subsets.

An operator A^~ such that A^~^2=A^~ or an element of an algebra x such that x^2=x.

A set considered together with the sigma-algebra on the set.

A Boolean sigma-algebra which possesses a measure.

A unar is an algebra A=(A,f), where f is a single unary operation.

A W^*-algebra is a C-*-algebra A for which there is a Banach space A_* such that its dual is A. Then the space A_* is uniquely defined and is called the pre-dual of A. Every ...

Let G be an algebraic group. G together with the discrete topology is a locally compact group and one may consider the counting measure as a left invariant Haar measure on G. ...

Every Lie algebra L is isomorphic to a subalgebra of some Lie algebra A^-, where the associative algebra A may be taken to be the linear operators over a vector space V.