Další formáty:
BibTeX
LaTeX
RIS
@article{697629,
author = {Paseka, Jan},
article_location = {Cambridge},
article_number = {2},
keywords = {partial semilattice; Engeler's lemma; Prime Ideal Theorem; quantale},
language = {eng},
issn = {0960-1295},
journal = {Mathematical Structures in Computer Science},
title = {The strength of Engeler's lemma},
volume = {16},
year = {2006}
}
TY - JOUR
ID - 697629
AU - Paseka, Jan
PY - 2006
TI - The strength of Engeler's lemma
JF - Mathematical Structures in Computer Science
VL - 16
IS - 2
SP - 291-297
EP - 291-297
PB - Cambridge University Press
SN - 09601295
KW - partial semilattice
KW - Engeler's lemma
KW - Prime Ideal Theorem
KW - quantale
N2 - 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.
ER -
PASEKA, Jan. The strength of Engeler's lemma. \textit{Mathematical Structures in Computer Science}. Cambridge: Cambridge University Press, 2006, roč.~16, č.~2, s.~291-297. ISSN~0960-1295.
|
