Vyhnutelné struktury, II: Konečné distributivní svazy hezky strukturované uspořádané množiny

Abstrakt

Budiz D uspořádaná množina izomorfních typů konečných distributivních svazů, kde uspořádání je dáno vnořitelností. Charakteriyujeme pořádkové ideály v D, dobře kvaziuspořádané vnořitelností, a tudíž ty členy D, které patří do aspoň jednoho nekonečného antiřetězce v D.

Klíčová slova

• Avoidable
• structures
• Finite
• distributive
• lattices
• nicely
• structured
• ordered
• sets