The strength of Engeler's lemma
Název česky | Síla Engelerova lemmatu |
---|---|
Autoři | |
Rok publikování | 2006 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Mathematical Structures in Computer Science |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Obecná matematika |
Klíčová slova | partial semilattice; Engeler's lemma; Prime Ideal Theorem; quantale |
Popis | Je dokázán ekvivalence užitečného lemmatu o oddělování pro parciální cm-svazy s PIT (věta o prvoideálu). Zároveň je zkoumán vztah různých verzí lemmatu mezi sebou a s PIT. |
Související projekty: |