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 | PASEKA, Jan. The strength of Engeler's lemma. Mathematical Structures in Computer Science. Cambridge: Cambridge University Press, 2006, vol. 16, No 2, p. 291-297. ISSN 0960-1295. |
| 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: |