Definovatelnost v podstrukturových uspořádáních, III: konečné distributivní svazy

Abstrakt

Definovatelnost v uspořádané množině izomorfních typů konečných distributivních svazů je plně vybudována.

Klíčová slova

• Definability
• substructure
• orderings
• finite
• distributive
• lattices