Definability in substructure orderings, IV: finite lattices

Abstract

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

Keywords

• Definability
• substructure
• orderings
• finite
• lattices