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

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
• lattices