Abstrakt
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ů.