The strength of Engeler's lemma
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Periodical |
| Magazine / Source | Mathematical Structures in Computer Science |
| MU Faculty or unit | |
| Citation | |
| Field | General mathematics |
| Keywords | partial semilattice; Engeler's lemma; Prime Ideal Theorem; quantale |
| Description | A useful separation lemma for partial cm-lattices is proved equivalent to PIT, the Prime Ideal Theorem. The relation of various versions of the Lemma to each other and to PIT is also explored. |
| Related projects: |