Решетка определимости в порядке рациональных чисел

Описывается решетка подпространств определимости в порядке рациональных чисел. Доказывается, что она состоит из пяти определяемых в работе подпространств, порождаемых отношениями: “равенство”, “меньше”, “между”, “цикл”, “зацепленность”. Для каждого из подпространств найдена его ширина (минимальное число аргументов порождающего отношения), и дается удобное описание группы автоморфизмов. Хотя структура данной решетки уже была ранее известна, доказательство в работе использует не теоретико-групповой метод, а носит эффективный синтаксический характер.
Библиография: 11 названий.