Informace o publikaci
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: |