The strength of Engeler's lemma
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F06%3A00015879" target="_blank" >RIV/00216224:14310/06:00015879 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The strength of Engeler's lemma
Original language 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.
Czech name
Síla Engelerova lemmatu
Czech description
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.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F02%2F0148" target="_blank" >GA201/02/0148: Categorical Methods of the Theory of Structures and Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
—
Volume of the periodical
16
Issue of the periodical within the volume
2
Country of publishing house
GB - UNITED KINGDOM
Number of pages
7
Pages from-to
291-297
UT code for WoS article
—
EID of the result in the Scopus database
—