Další formáty:
BibTeX
LaTeX
RIS
@article{765463,
author = {Paseka, Jan},
article_number = {1},
keywords = {Prime ideal theorem; Partial rho-semilattice; rho-prime element; Engelers lemma},
language = {eng},
issn = {0167-8094},
journal = {Order},
title = {More on the Strength of Engelers Lemma},
url = {http://www.springerlink.com/content/jrn551h8173t1203/},
volume = {25},
year = {2008}
}
TY - JOUR
ID - 765463
AU - Paseka, Jan
PY - 2008
TI - More on the Strength of Engelers Lemma
JF - Order
VL - 25
IS - 1
SP - 69-77
EP - 69-77
PB - Springer Netherlands
SN - 01678094
KW - Prime ideal theorem
KW - Partial rho-semilattice
KW - rho-prime element
KW - Engelers lemma
UR - http://www.springerlink.com/content/jrn551h8173t1203/
N2 - We introduce semilattices equipped with a partial n-ary operation rho. A useful separation lemma for such nontrivial complete partial rho-semilattices 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. More on the Strength of Engelers Lemma. \textit{Order}. Springer Netherlands, 2008, roč.~25, č.~1, s.~69-77. ISSN~0167-8094.
|
