Priestley configurations and Heyting varieties

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00100889" target="_blank" >RIV/00216208:11320/08:00100889 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Priestley configurations and Heyting varieties
Original language description
Heyting varieties determined by prohibition of configurations in corresponding Priestley spaces are studied. A.o., necessary and sufficient condition for a system of configurations to determine a variety is presented (by the way, if such a system contains more than one element, it can contain a cyclic one); the question whether a variety can be thus represented can be decided in a finite number of steps.
Czech name
Priestleyovské konfigurace a Heytingovské variety
Czech description
Jsou studovány Heytingovské variety určené zákazem konfigurací v odpovídajících Heytingových prostorech. Kromě jiného je předložena nutná a postačující podmínka pro systém konfigurací representující varietu (mimochodem, jde-li v něm o více než jednu konfiguraci, nemusí sestávat jen z acyklických); otázka, zda varieta může být representována tímto způsobem, je rozhodnutelná v konečném počtu kroků.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)