The strength of Engeler's lemma

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Síla Engelerova lemmatu
Autoři	PASEKA Jan
Rok publikování	2006
Druh	Článek v odborném periodiku
Časopis / Zdroj	Mathematical Structures in Computer Science
Fakulta / Pracoviště MU	Přírodovědecká fakulta
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:	Kategoriální metody teorie struktur a informatiky