|
Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 2018, том 157, страницы 42–58
(Mi into406)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Спектры категоричности вычислимых структур
Н. А. Баженовab a Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
b Новосибирский государственный университет
Аннотация:
Спектром категоричности вычислимой структуры $S$ называют множество всех тьюринговых степеней, которые могут вычислять изоморфизмы между произвольными вычислимыми представлениями $S$. Степень категоричности $S$ — это наименьшая степень из спектра категоричности $S$. В статье приводится обзор результатов о спектрах и степенях категоричности для вычислимых структур.
Особое внимание уделено результатам о степенях категоричности для линейных порядков и булевых алгебр. Строится новая серия примеров степеней категоричности для линейных порядков.
Ключевые слова:
вычислимая категоричность, спектр категоричности, степень категоричности, вычислимая структура, линейный порядок, булева алгебра,
разрешимая категоричность, автоустойчивость, автоустойчивость относительно сильных конструктивизаций, индексное множество.
Образец цитирования:
Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58; J. Math. Sci. (N. Y.), 256:1 (2021), 34–50
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into406 https://www.mathnet.ru/rus/into/v157/p42
|
Статистика просмотров: |
Страница аннотации: | 198 | PDF полного текста: | 71 | Список литературы: | 26 | Первая страница: | 2 |
|