Недоступный кардинал

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

Недоступный кардинал Недоступность кардинала — свойство, определяющее, что кардинал не может быть описан в рамках теории множеств.  Недоступность кардинала связана […]

Large cardinals, Большие кардиналы

Недоступный кардинал

  • Недоступность кардинала — свойство, определяющее, что кардинал не может быть описан в рамках теории множеств. 
  • Недоступность кардинала связана с теоретико-модельными характеристиками отражения и категоричности Цермело. 
  • Недоступность кардинала является более сильной гипотезой, чем существование транзитивной модели ZFC. 
  • Недоступность кардинала является свойством Π11 над его моделью в рамках ZFC. 
  • Кардиналы, которые являются недоступными, обладают более сильными теоретико-модельными характеристиками, чем доступные кардиналы. 

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

Недоступный кардинал — Википедия

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

  1. Большой кардинал Большой кардинал Определение и свойства больших кардиналов Большие кардиналы — это трансфинитные кардинальные числа с определенными...
  2. Измеримый кардинал Измеримый коэффициент Измеримые кардиналы — это кардиналы, которые могут быть измерены с помощью вероятностных мер.  Измеримые...
  3. Кардинал (цветной) Кардинал (цвет) Происхождение и использование цвета «кардинал» Название цвета происходит от кардиналов-епископов и их ряс.  Первое...
  4. Кардинал-преемник Кардинал-преемник В теории множеств можно определить операцию-преемницу для кардинальных чисел аналогично операции-преемнице для порядковых чисел.  Кардинальный...
  5. Обычный кардинал Обычный кардинал Алеф-число — это порядковый номер бесконечного множества.  Алеф-числа могут быть регулярными или сингулярными.  Сингулярные...
  6. Список утверждений, независимых от ZFC Список утверждений, не зависящих от ZFC ZFC — стандартная аксиоматическая система теории множеств, которая может быть...
  7. Теоретико-информационная безопасность Теоретико-информационная безопасность Теоретико-информационная безопасность криптосистем Криптосистемы с теоретико-информационной безопасностью защищены от атак с неограниченными вычислительными ресурсами. ...
  8. Колледж кардинала Ньюмана Колледж кардинала Ньюмана Обзор Колледжа кардинала Ньюмана Колледж кардинала Ньюмана — католический колледж для шестиклассников в...
  9. Внутренняя модель Внутренняя модель Внутренняя модель теории T является подструктурой модели M, которая одновременно является моделью для T...
  10. Кардинал Ришелье Кардинал Ришелье Арман Жан дю Плесси, кардинал Ришелье, был главным министром Франции при Людовике XIII.  Ришелье...
  11. Высокая доступность Высокая доступность Определение доступности Доступность — это способность системы выполнять свои функции без сбоев.  Доступность измеряется...
  12. Бесконечная комбинаторика Бесконечная комбинаторика Бесконечная комбинаторика — распространение идей комбинаторики на бесконечные множества.  Изучаются непрерывные графы, деревья, расширения...
  13. Допустимый порядковый номер Допустимый порядковый номер Определение допустимых ординалов Порядковый номер α является допустимым, если La является транзитивной моделью...
  14. Стэнфордский кардинал Стэнфордский кардинал История и достижения Стэнфордского университета Стэнфордский университет — один из ведущих университетов США, основанный...

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

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