Definability in substructure orderings, I: finite semilattices

Abstract

Definability in the ordered set of isomorphism types of finite semilattices is fully established.

Keywords

• Definability
• substructure
• orderings
• finite
• semilattices