Deciding absorption

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331371" target="_blank" >RIV/00216208:11320/16:10331371 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1142/S0218196716500430" target="_blank" >http://dx.doi.org/10.1142/S0218196716500430</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0218196716500430" target="_blank" >10.1142/S0218196716500430</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Deciding absorption
Popis výsledku v původním jazyce
We characterize absorption in finite idempotent algebras by means of Jonsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.
Název v anglickém jazyce
Deciding absorption
Popis výsledku anglicky
We characterize absorption in finite idempotent algebras by means of Jonsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.

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
—

Projekt
<a href="/cs/project/GA13-01832S" target="_blank" >GA13-01832S: Obecná algebra a její souvislost s informatikou</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ů

Podobné výsledky(10)