More on the Strength of Engelers Lemma

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F08%3A00025921" target="_blank" >RIV/00216224:14310/08:00025921 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

More on the Strength of Engelers Lemma

Original language description

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 toeach other and to PIT is also explored.

Czech name

Více o síle Engelerova lemmatu

Czech description

Zavedeme polosvazy opatřené parciální n-ární operací rho. Dokážeme, že užitečné oddělovací lemma pro netriviální úplné parciální rho-polosvazy je ekvivalentní s PIT, větou o prvoideálu. Zároveň je zkoumán vztah mezi různými verzemi lemmatu navzájem a k PIT.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Order

ISSN

0167-8094

e-ISSN

—

Volume of the periodical

25

Issue of the periodical within the volume

1

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

9

Pages from-to

—

UT code for WoS article

000255094100006

EID of the result in the Scopus database

—