The strength of Engeler's lemma

PASEKA, Jan. The strength of Engeler's lemma. Mathematical Structures in Computer Science. Cambridge: Cambridge University Press, 2006, roč. 16, č. 2, s. 291-297. ISSN 0960-1295.

Základní údaje

Originální název

The strength of Engeler's lemma

Název česky

Síla Engelerova lemmatu

Autoři

PASEKA, Jan (203 Česká republika, garant)

Vydání

Mathematical Structures in Computer Science, Cambridge, Cambridge University Press, 2006, 0960-1295

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 1.102

Kód RIV

RIV/00216224:14310/06:00015879

Organizační jednotka

Přírodovědecká fakulta

UT WoS

000238274300009

Klíčová slova anglicky

partial semilattice; Engeler's lemma; Prime Ideal Theorem; quantale

Štítky

Engeler's lemma, partial semilattice, Prime Ideal Theorem, quantale

---

Anotace

V originále

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.

Česky

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.

---

Návaznosti

GA201/02/0148, projekt VaV

Název: Kategoriální metody teorie struktur a informatiky Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky