Publication details

More on the Strength of Engelers Lemma

Authors

PASEKA Jan

Year of publication 2008
Type Article in Periodical
Magazine / Source Order
MU Faculty or unit

Faculty of Science

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: