The strength of Engeler's lemma

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

PASEKA Jan

Year of publication 2006
Type Article in Periodical
Magazine / Source Mathematical Structures in Computer Science
MU Faculty or unit

Faculty of Science

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:

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