Revision #50 → #1045 · back to history
addedBoolean algebra (as complemented distributive lattice)755c23268c19
addedBoolean algebra–Boolean ring correspondence592fc1253004
addedBoolean algebra (axiomatic definition)f06d45b49a79
addedAbsorption and associativity are derivable5578646a2fc0
addedTrivial (degenerate) Boolean algebraa780cf5fca09
addedEquivalent meet/join order conditionsae57b55898f3
addedInduced order is a bounded partial order6b765bfe9828
addedFirst four axiom pairs define a bounded lattice9b4b191c6a03
addedUniqueness of complementsbcd795f2a481
addedSelf-duality of the axiomsec134a8daafc
addedTwo-element Boolean algebrad15ac63e44c9
addedTwo-element algebra decides Boolean identities4ee108431bf3
addedConsensus theorems5263bfeaeb06
addedPower set Boolean algebra2215f19d50bd
addedPower set of two atomsc313dff20615
addedFinite–cofinite algebra402e820c7ffc
addedLindenbaum (free) Boolean algebraeda5ca8e76aa
addedInterval algebra4f34f1fe9b1b
addedDivisors of n674556b62121
addedDivisor lattice is Boolean iff n square-freea872e5a4bdda
addedClopen sets of a topological space16439e7a7198
addedCentral idempotents of a ring844e9b60e0e2
addedBoolean algebra homomorphisme08e8fbc0ceb
addedHomomorphisms preserve complementa3af31eb5835
addedBoolean algebra isomorphism52b28627e2f8
addedIsomorphism iff bijective93e829169caa
addedBoolean algebra yields a Boolean ring8501bd4c666b
addedBoolean ring yields a Boolean algebraebe3556b2c3c
addedEquivalence of Boolean ring and Boolean algebra categoriesaf9e86a1449f
addedIdeal of a Boolean algebrab39dd38ed88d
addedPrime ideal61c8db838cf4
addedMaximal ideal72e8096d5c3b
addedPrime and maximal ideals coincide1933d340bbbb
addedFilter of a Boolean algebra1f8dfd728dab
addedUltrafilter3296a35c4dc7
addedUltrafilter lemma17cedce4914f
addedFinite Boolean algebras are power set algebras2fa32dd75539
addedStone's representation theorem240d0d5bb0de
addedHuntington 1933 axiomatization9e6e4fa671ff
addedRobbins algebra88a425fb9229
addedEvery Robbins algebra is a Boolean algebra4edf8af5a938
addedGeneralized Boolean algebraba0347bba435
addedGeneralized Boolean lattices are ideals of Boolean latticesa961fdfb2f8f
addedOrthocomplemented lattice243448df9f46