|
|
Вычислимые линейные порядки и линейно-упорядоченные структуры
19 октября 2019 г., г. Казань, ул. Кремлевская, 35, Казанский (Приволжский) федеральный университет, ауд. 509
|
|
|
|
|
|
Отношения на вычислимых линейных порядках и иерархия Ершова
Я. А. Михайловская |
Количество просмотров: |
Эта страница: | 27 |
|
Аннотация:
В работе исследуются отношения на вычислимых линейных порядках, имеющие связь с разностной иерархией Ершова. Получен ряд результатов эффективной категоричности линейных порядков, сигнатура которых обогащена такими отношениями.
|
|