1.II.16H
Explain what it means for a poset to be chain-complete. State Zorn's Lemma, and use it to prove that, for any two elements and of a distributive lattice with , there exists a lattice homomorphism with and . Explain briefly how this result implies the completeness theorem for propositional logic.
Typos? Please submit corrections to this page on GitHub.