Максимальный набор
-
Определение максимального множества
- Максимальное множество — это коинконечное рекурсивно перечислимое подмножество натуральных чисел, которое не содержит надмножеств, которые не являются кофинитными или конечными вариантами A.
-
Свойства максимальных множеств
- Максимальные множества обладают свойствами простоты, гиперпростоты, гипергиперсистемности и r-максимальности.
- Существуют r-максимальные множества, которые не являются максимальными и даже не имеют максимальных надмножеств.
-
Построение Фридберга
- Фридберг (1958) построил пример максимального множества.
-
Орбиты автоморфизмов
- Соаре (1974) показал, что максимальные множества образуют орбиты относительно автоморфизмов рекурсивно перечислимых множеств.
-
Рекомендации по цитированию
- Статья содержит инструкции по цитированию и форматированию библиографических описаний.
-
Дополнительная информация
- Упоминание о книге Роджерса-младшего и предложение помощи в расширении статьи.