"[C3097017FEC8]" . . . . "RIV/00216208:11320/09:00207154!RIV10-GA0-11320___" . "Definability; substructure; orderings; finite; semilattices"@en . "11320" . . "CH - \u0160v\u00FDcarsk\u00E1 konfederace" . . . "Definability in substructure orderings, I: finite semilattices" . "000270738100003" . "Definability in substructure orderings, I: finite semilattices"@en . "1" . . . "Definability in the ordered set of isomorphism types of finite semilattices is fully established."@en . "Definability in the ordered set of isomorphism types of finite semilattices is fully established." . . "0002-5240" . . "Je\u017Eek, Jaroslav" . . "61" . . . "RIV/00216208:11320/09:00207154" . . "Algebra Universalis" . "McKenzie, Ralph" . . "1"^^ . . . "P(GA201/05/0002), Z(MSM0021620839)" . . "Definability in substructure orderings, I: finite semilattices" . . "2"^^ . "Definability in substructure orderings, I: finite semilattices"@en . "309251" . "17"^^ .