Оглавление
Ручной абстрактный элементарный класс
-
Определение и свойства AEC
- AEC – это теория множеств с аксиомами, аналогичными аксиомам ZFC, но с добавлением аксиомы выбора.
- AECs могут быть ручными или неприрученными.
-
Приручаемость AEC
- Приручаемость AEC означает, что существует кардинал κ, такой что любые два различных типа Галуа уже различны в подмодели их области размеров ≤ κ.
- AEC является κ-ручным, если все типы Галуа в подмодели их области размеров ≤ κ различны.
-
Мотивация и результаты
- Большинство известных естественных примеров AEC являются ручными.
- Существуют достаточные условия для приручаемости, включая категоричность и обобщенную континуальную гипотезу.
- Результаты теории приручения включают передачу категоризации и устойчивости вверх, управляемость и другие.
-
Рекомендации и форматирование
- В статье представлены рекомендации по форматированию и использованию иконок.