Definability in substructure orderings, III: finite distributive lattices

Abstract

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

Keywords

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