А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 2021, том 85, выпуск 6,страницы 245

Эта публикация цитируется в 5 статьях

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

А. Л. Семёнов^abc, С. Ф. Сопрунов^d

^a Московский государственный университет имени М. В. Ломоносова
^b Институт кибернетики и образовательной информатики им. А. И. Берга, Федеральный исследовательский центр «Информатика и управление» Российской академии наук
^c Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный
^d Центр педагогического мастерства, г. Москва

Аннотация: В статье описана решетка определимости для структуры целых чисел с операцией следования (операцией $y=x+1$). Элементы решетки, также называемые редуктами, образуют три (естественно задаваемых) бесконечных серии отношений. Доказательство использует вариант теоремы Свенониуса для специального вида структур.
Библиография: 17 наименований.

Ключевые слова: определимость, редукт, теорема Свенониуса.

УДК: 510.635

Поступило в редакцию: 27.09.2020
Исправленный вариант: 12.01.2021

DOI: 10.4213/im9107