|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Решетка определимости в порядке рациональных чисел
Ан. А. Мучникa, А. Л. Семёновbac a Федеральный исследовательский центр «Информатика и управление» Российской академии наук, г. Москва
b Московский государственный университет имени М. В. Ломоносова
c Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный
Аннотация:
Описывается решетка подпространств определимости в порядке
рациональных чисел. Доказывается, что она состоит из пяти
определяемых в работе подпространств, порождаемых отношениями:
“равенство”, “меньше”, “между”, “цикл”, “зацепленность”.
Для каждого из подпространств найдена его ширина (минимальное
число аргументов порождающего отношения), и дается удобное
описание группы автоморфизмов. Хотя структура данной решетки
уже была ранее известна, доказательство в работе использует
не теоретико-групповой метод, а носит эффективный синтаксический
характер.
Библиография: 11 названий.
Ключевые слова:
конечно порожденное пространство, решетка подпространств определимости, синтаксический характер.
Поступило: 20.02.2019 Исправленный вариант: 22.07.2019
Образец цитирования:
Ан. А. Мучник, А. Л. Семёнов, “Решетка определимости в порядке рациональных чисел”, Матем. заметки, 108:1 (2020), 102–118; Math. Notes, 108:1 (2020), 94–107
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm12651https://doi.org/10.4213/mzm12651 https://www.mathnet.ru/rus/mzm/v108/i1/p102
|
Статистика просмотров: |
Страница аннотации: | 423 | PDF полного текста: | 66 | Список литературы: | 38 | Первая страница: | 36 |
|