Разработана математическая концепция построения баз данных на основе теории вычислимости и теории позитивно нумерованных алгебраических структур. Установлены существование принципиально различных универсальных объектов, распределение слабо предполных эквивалентностей в структуре степеней. Доказано существование универсального вычислимо перечислимого линейного порядка относительно вычислимой сводимости.
