Обсуждается определимость в некоторых частичных порядках на словах и конечных
размеченных лесах. Эти структуры интересны для математики (логика, дескриптивная
теория множеств) и информатики (комбинаторика слов, алгоритмы на словах, теория
автоматов). Охарактеризованы группы автоморфизмов этих структур, а также все
определимые предикаты в них. В качестве следствия получена биинтерпретируемость
некоторых константных обогащений этих структур и стандартной модели арифметики.
Разработанные методы применимы и к некоторым другим частичным порядкам,
например к решетке Юнга.