Definovatelnost v podstrukturových uspořádáních, I: konečné polosvazy

Abstrakt

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

Klíčová slova

• Definability
• substructure
• orderings
• finite
• semilattices