| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Вычислимые линейные порядки и линейно-упорядоченные структуры
|
|||
|
|
|||
|
Отношения на вычислимых линейных порядках и иерархия Ершова Я. А. Михайловская |
|||
|
Аннотация: В работе исследуются отношения на вычислимых линейных порядках, имеющие связь с разностной иерархией Ершова. Получен ряд результатов эффективной категоричности линейных порядков, сигнатура которых обогащена такими отношениями. |
|||