Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F10%3A00049168" target="_blank" >RIV/00216224:14310/10:00049168 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
Popis výsledku v původním jazyce
We prove that a de Morgan lattice is compactly generated if and only if its order topology is compatible with a uniformity on L generated by some separating function family on L Moreover, if L is complete then L is (o)-topological Further, if a basic algebra L (hence lattice with sectional antitone involutions) is compactly generated then L is atomic. Thus all non-atomic Boolean algebras as well as non-atomic lattice effect algebras (including non-atomic MV-algebras and orthomodular lattices) are not compactly generated.
Název v anglickém jazyce
Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
Popis výsledku anglicky
We prove that a de Morgan lattice is compactly generated if and only if its order topology is compatible with a uniformity on L generated by some separating function family on L Moreover, if L is complete then L is (o)-topological Further, if a basic algebra L (hence lattice with sectional antitone involutions) is compactly generated then L is atomic. Thus all non-atomic Boolean algebras as well as non-atomic lattice effect algebras (including non-atomic MV-algebras and orthomodular lattices) are not compactly generated.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F06%2F0664" target="_blank" >GA201/06/0664: Kategoriální metody teorie struktur</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
International Journal of Theoretical Physics
ISSN
0020-7748
e-ISSN
—
Svazek periodika
49
Číslo periodika v rámci svazku
12
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
8
Strana od-do
—
Kód UT WoS článku
000284335300029
EID výsledku v databázi Scopus
—