Theorems in lattice theory

Stone's representation theorem for Boolean algebras

consensus theorem

Boolean prime ideal theorem

Shannon's expansion