WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Boolean algebra (structure)

Revision #2824 → #3304 · back to history

modifiedBoolean algebra is a special case of De Morgan / Kleene algebraa67a8d58902d
FieldFrom #2824To #3304
noteMathlib has no `DeMorganAlgebra` or `KleeneAlgebra` (with involution) hierarchy showing `BooleanAlgebra` as a specialization.Mathlib's `KleeneAlgebra` is the semiring-with-star (regular-expression) notion, not the involutive-lattice Kleene algebra, and there is no `DeMorganAlgebra` hierarchy with `BooleanAlgebra` as a specialization.
addedEvery countable Boolean algebra is an interval algebra22619010e82d
addedUltrafilters as 2-valued morphisms5eb5f091baf2