Прирученный абстрактный элементарный класс

От / / Оставьте комментарий

Ручной абстрактный элементарный класс Определение и свойства AEC AEC — это теория множеств с аксиомами, аналогичными аксиомам ZFC, но с […]

Category theory, Model theory, Теория категорий, Теория моделей

Ручной абстрактный элементарный класс

  • Определение и свойства AEC

    • AEC — это теория множеств с аксиомами, аналогичными аксиомам ZFC, но с добавлением аксиомы выбора. 
    • AECs могут быть ручными или неприрученными. 

  • Приручаемость AEC

    • Приручаемость AEC означает, что существует кардинал κ, такой что любые два различных типа Галуа уже различны в подмодели их области размеров ≤ κ. 
    • AEC является κ-ручным, если все типы Галуа в подмодели их области размеров ≤ κ различны. 

  • Мотивация и результаты

    • Большинство известных естественных примеров AEC являются ручными. 
    • Существуют достаточные условия для приручаемости, включая категоричность и обобщенную континуальную гипотезу. 
    • Результаты теории приручения включают передачу категоризации и устойчивости вверх, управляемость и другие. 

  • Рекомендации и форматирование

    • В статье представлены рекомендации по форматированию и использованию иконок. 

Полный текст статьи:

Прирученный абстрактный элементарный класс

Похожие статьи:

  1. Дизайн иконок Дизайн иконок Определение и использование иконок Иконки представляют собой графические символы, связанные с программами, функциями и...
  2. Элементарный заряд Элементарный заряд Определение и история элементарного заряда Элементарный заряд — это фундаментальная физическая величина, определяющая заряд...
  3. Обратная задача Галуа Обратная задача Галуа Определение и свойства групп Галуа Группа Галуа — это группа, порожденная корнями многочлена...
  4. Иконка (вычисления) Значок (вычислительная техника) Определение и функции значков Значок — это графический элемент, который используется для представления...
  5. Теория Галуа Теория Галуа Определение и история теории Галуа Теория Галуа изучает группы автоморфизмов полей, связанных с расширением...
  6. Когомологии Галуа Когомологии Галуа Когомологии Галуа изучают групповые когомологии модулей Галуа.  Группа Галуа воздействует на абелевы группы и...
  7. Средний класс Средний класс Определение среднего класса Средний класс — это социальная группа, которая обладает определенным уровнем дохода,...
  8. Кеннет Николс Кеннет Николс Ранние годы и образование Кеннет Николс родился в 1904 году в семье военного.  Получил...
  9. Ричард Дж. Хьюлетт Ричард Г. Хьюлетт Биография Ричарда Хьюлетта Родился в Толедо, Огайо, в 1923 году.  В 1941 году...
  10. Группа Галуа Группа Галуа Группа Галуа описывает автоморфизмы расширения поля.  Расширения полей могут иметь конечные или бесконечные группы...
  11. Начальный класс Начальный класс Определение и примеры σ-структур σ-структура — это множество элементов с заданным набором отношений.  Примеры...
  12. Начальный класс Начальный класс Определение и примеры элементарных классов Элементарный класс — это класс, который удовлетворяет всем предложениям...
  13. Американский средний класс Американский средний класс Определение и характеристики среднего класса Средний класс — это социальный класс, который занимает...
  14. Элементарный поток MPEG Элементарный поток MPEG Определение элементарного потока Элементарный поток является выходным сигналом аудио- или видеокодера.  ES содержит...
  15. Теория Галуа Теория Галуа Теория Галуа изучает группы автоморфизмов полей, связанные с алгебраическими уравнениями.  Группа Галуа описывает свойства...
  16. Эварист Галуа Эварист Галуа Эварист Галуа — французский математик, внесший значительный вклад в алгебру и теорию групп.  Галуа...
  17. Абстрактный многогранник Абстрактный многогранник Определение и классификация Абстрактный многогранник — это математическая структура, описывающая многогранники без конкретных геометрических...
  18. Пакетированный элементарный поток Пакетированный элементарный поток Определение и использование PES PES (Packetized Elementary Stream) — спецификация в стандартах MPEG-2...
  19. Аннотация элементарного класса Абстрактный элементарный класс Определение и свойства абстрактных элементарных классов Абстрактные элементарные классы (AECs) — это классы...
  20. Американский низший класс Американский низший класс Определение низшего класса в США Низший класс — это люди, находящиеся на нижних...
  21. Обратная задача Галуа Обратная задача Галуа Теория Галуа изучает группы, возникающие из алгебраических уравнений с рациональными коэффициентами.  Группа Галуа...
  22. Абстрактный тип Абстрактный тип Основы абстрактных типов Абстрактный тип в системе именных типов не может быть создан напрямую,...

Оставьте комментарий

Прокрутить вверх