Аннотация:
Оценивается сложность построения пунктуальной «онлайн» копии алгебраической структуры. Установлены общая верхняя оценка, а также оптимальные оценки для классов булевых алгебр, абелевых $p$-групп и линейных порядков. Кроме того, развитые здесь методы применяются для решения открытой проблемы Монталбана (2013) о копируемых линейных порядках.
Ключевые слова:примитивная рекурсия, вычислимые структуры, онлайн теория моделей.
УДК:510.5
Статья поступила: 14.12.2018 Окончательный вариант: 26.03.2019 Принята к печати: 15.05.2019