More on the Strength of Engelers Lemma

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
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:

You are running an old browser version. We recommend updating your browser to its latest version.