On relative universality and Q-universality of finetely generated varieties of Heyting algebras

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10102990" target="_blank" >RIV/00216208:11320/11:10102990 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
On relative universality and Q-universality of finetely generated varieties of Heyting algebras
Popis výsledku v původním jazyce
Surprisingly small varieties of Heyting algebras have very complex categorical structure and contain the largest possible number of subquasivarieties.
Název v anglickém jazyce
On relative universality and Q-universality of finetely generated varieties of Heyting algebras
Popis výsledku anglicky
Surprisingly small varieties of Heyting algebras have very complex categorical structure and contain the largest possible number of subquasivarieties.

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/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2011
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)