Riesz decomposition properties and the lexicographic product of po-groups

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F16%3A33161654" target="_blank" >RIV/61989592:15310/16:33161654 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/article/10.1007%2Fs00500-015-1903-2" target="_blank" >http://link.springer.com/article/10.1007%2Fs00500-015-1903-2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00500-015-1903-2" target="_blank" >10.1007/s00500-015-1903-2</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Riesz decomposition properties and the lexicographic product of po-groups

Popis výsledku v původním jazyce

We establish conditions when a certain type of the Riesz decomposition property (RDP) holds in the lexicographic product of two po-groups. It is well known that the resulting product is an -group if and only if the first one is linearly ordered and the second one is an -group. This can be equivalently studied as po-groups with a special type of the RDP. In the paper we study three different types of RDPs. RDPs of the lexicographic products are important for the study of pseudo effect algebras where infinitesimal elements play an important role both for algebras as well as for the first-order logic of valid but not provable formulas.

Název v anglickém jazyce

Riesz decomposition properties and the lexicographic product of po-groups

Popis výsledku anglicky

We establish conditions when a certain type of the Riesz decomposition property (RDP) holds in the lexicographic product of two po-groups. It is well known that the resulting product is an -group if and only if the first one is linearly ordered and the second one is an -group. This can be equivalently studied as po-groups with a special type of the RDP. In the paper we study three different types of RDPs. RDPs of the lexicographic products are important for the study of pseudo effect algebras where infinitesimal elements play an important role both for algebras as well as for the first-order logic of valid but not provable formulas.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-15286S" target="_blank" >GA15-15286S: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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ů

Název periodika

Soft Computing: a fusion of foundations, methodologies and applications

ISSN

1432-7643

e-ISSN

—

Svazek periodika

20

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

15

Strana od-do

2103-2117

Kód UT WoS článku

000376103900002

EID výsledku v databázi Scopus

—