. "3-4" . "CH - \u0160v\u00FDcarsk\u00E1 konfederace" . "Definability in substructure orderings, III: finite distributive lattices" . . "18"^^ . "[9D88B808394A]" . "RIV/00216208:11320/09:00206428!RIV10-GA0-11320___" . "61" . "McKenzie, Ralph" . . . "P(GA201/05/0002), Z(MSM0021620839)" . . . . . "Definability in substructure orderings, III: finite distributive lattices"@en . "11320" . . . "Definability in the ordered set of isomorphism types of finite distributive lattices is fully established."@en . . "Algebra Universalis" . "309252" . "Definability in substructure orderings, III: finite distributive lattices" . "1"^^ . "000272118200002" . "2"^^ . "Je\u017Eek, Jaroslav" . . "RIV/00216208:11320/09:00206428" . . . . . . "0002-5240" . "Definability in substructure orderings, III: finite distributive lattices"@en . . "Definability; substructure; orderings; finite; distributive; lattices"@en . . . "Definability in the ordered set of isomorphism types of finite distributive lattices is fully established." .