|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Решетка определимости. Источники и направления исследований
А. Л. Семеновab, С. Ф. Сопруновcb a Московский государственный университет им. М. В. Ломоносова
(г. Москва)
b Институт кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН (г. Москва)
c Центр педагогического мастерства Департамента образования и науки Москвы (г. Москва)
Аннотация:
В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов элементарных расширений рассматриваемых структур, использование теоремы Свенониуса.
Ключевые слова:
определимость, пространство определимости, редукты, теорема Свенониуса, элиминация кванторов, разрешимость, автоморфизмы.
Поступила в редакцию: 20.12.2020 Принята в печать: 21.02.2021
Образец цитирования:
А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327; Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/cheb1003 https://www.mathnet.ru/rus/cheb/v22/i1/p304
|
Статистика просмотров: |
Страница аннотации: | 151 | PDF полного текста: | 52 | Список литературы: | 15 |
|