boolean representation theorem - Wolfram|Alpha

Uh oh! Wolfram|Alpha doesn't run without JavaScript.

Please enable JavaScript. If you don't know how, you can find instructionshere.Once you've done that, refresh this page to start using Wolfram|Alpha.

Input interpretation

Boolean representation theorem

Definition

Every Boolean algebra is isomorphic to the Boolean algebra of sets. The theorem is equivalent to the maximal ideal theorem, which can be proved without using the axiom of choice.

More information »

Related terms

Boolean algebra | maximal ideal theorem

Subject classifications

MathWorld

Boolean algebras | set properties

MSC 2010

03Exx | 03G05 | 06Exx

POWERED BY THE WOLFRAM LANGUAGE