|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
Об определимости линейных порядков над негативными эквивалентностями
Н. Х. Касымовa, А. С. Морозовbc a Мех.-матем. ф-т, Нац. ун-т Узбекистана им. Мирзо Улугбека, ул. Университетская, 4, г. Ташкент, 100174, УЗБЕКИСТАН
b Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
c Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Изучаются линейные порядки, определимые над негативными и позитивными эквивалентностями, и их вычислимые автоморфизмы. Особое внимание уделяется эквивалентностям вида $\eta(\alpha)=\alpha^2\cup\mathrm{id}_\omega$, $\alpha\subseteq\omega$. В частности, даётся описание порядков, имеющих негативные представления над такими эквивалентностями для коперечислимых $\alpha$. Приводятся примеры определимых и неопределимых порядковых типов для эквивалентностей с различными дополнительными свойствами. Строятся примеры негативных порядков с вычислимыми автоморфизмами, обратные к которым не вычислимы.
Ключевые слова:
линейный порядок, негативная эквивалентность, вычислимый автоморфизм.
Поступило: 12.11.2014 Окончательный вариант: 18.05.2015
Образец цитирования:
Н. Х. Касымов, А. С. Морозов, “Об определимости линейных порядков над негативными эквивалентностями”, Алгебра и логика, 55:1 (2016), 37–57; Algebra and Logic, 55:1 (2016), 24–37
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al728 https://www.mathnet.ru/rus/al/v55/i1/p37
|
Статистика просмотров: |
Страница аннотации: | 330 | PDF полного текста: | 95 | Список литературы: | 56 | Первая страница: | 21 |
|