Independence of axiom systém of basic algebras

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F09%3A00010166" target="_blank" >RIV/61989592:15310/09:00010166 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Independence of axiom systém of basic algebras

Popis výsledku v původním jazyce

We prove that one axiom of the original axiom systém of basic algebras can be deleted and that the remaining axioms are already independent.

Název v anglickém jazyce

Independence of axiom systém of basic algebras

Popis výsledku anglicky

We prove that one axiom of the original axiom systém of basic algebras can be deleted and that the remaining axioms are already independent.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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

13

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

3

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—