Konfigurace v koproduktech Priestleyovských prostorů

Abstrakt

Pro konečnou konfiguraci P s největším prvkem je ekvivalentní: příslušná třída F(P) distributivních svazů je axiomatisovatelná, P je koproduktivní, P je strom.estarting automaton. Here we study the power of such constraints on computations of this

Klíčová slova

• Configurations
• coproducts
• Priestley
• spaces