More on the Strength of Engelers Lemma
Authors | |
---|---|
Year of publication | 2008 |
Type | Article in Periodical |
Magazine / Source | Order |
MU Faculty or unit | |
Citation | |
Web | http://www.springerlink.com/content/jrn551h8173t1203/ |
Field | General mathematics |
Keywords | Prime ideal theorem; Partial rho-semilattice; rho-prime element; Engelers lemma |
Description | We introduce semilattices equipped with a partial n-ary operation rho. A useful separation lemma for such nontrivial complete partial rho-semilattices 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: |