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

Большие кардиналы — это сильные аксиомы бесконечности, утверждающие существование кардиналов настолько больших, что их существование не может быть доказано в ZFC, и они образуют почти линейную иерархию, которая калибрует силу математических теорий.

Definition

Аксиома большого кардинала утверждает существование кардинала с сильным свойством замыкания или отражения, обычно выражаемым через элементарное вложение универсума; такие кардиналы превосходят то, существование чего может быть доказано в ZFC, и, таким образом, увеличивают силу непротиворечивости теории.

Scope

Эта тема охватывает основные понятия больших кардиналов, такие как недостижимые, Махло, слабо компактные, измеримые и суперкомпактные кардиналы, их характеристики через отражение и элементарные вложения, иерархию непротиворечивости, которую они порождают, и их связи с детерминированностью и теорией внутренних моделей.

Core questions

• Какие свойства замыкания и отражения определяют основные большие кардиналы?
• Как элементарные вложения характеризуют измеримые и более сильные кардиналы?
• Почему большие кардиналы образуют почти линейную иерархию силы непротиворечивости?
• Как большие кардиналы взаимодействуют с детерминированностью и структурой вещественных чисел?

Key theories

Недостижимые кардиналы и кардиналы Махло

Недостижимый кардинал является регулярным и сильным пределом, поэтому он не может быть достигнут обычными операциями над множествами и дает естественную модель ZFC; кардиналы Махло отражают недостижимость, начиная иерархию.

Измеримые кардиналы и элементарные вложения

Измеримый кардинал несет нетривиальный счетно полный ультрафильтр; эквивалентно, он является критической точкой элементарного вложения универсума во внутреннюю модель, что противоречит аксиоме конструктивности.

Иерархия силы непротиворечивости

Аксиомы больших кардиналов упорядочены по относительной непротиворечивости, так что непротиворечивость одной подразумевает непротиворечивость всех более слабых, что обеспечивает эталон, по которому измеряется сила произвольных теорий.

Clinical relevance

Большие кардиналы обеспечивают каноническую шкалу силы непротиворечивости в математике: многие утверждения оказываются равнонепротиворечивыми существованию некоторого большого кардинала, а сильные большие кардиналы подразумевают свойства регулярности вещественной прямой, такие как проективная детерминированность и измеримость по Лебегу для определимых множеств.

History

Недостижимые кардиналы возникли из исследований Цермело и Серпинского-Тарского моделей теории множеств, а работа Улама 1930 года по мере привела к измеримым кардиналам. Скотт показал в 1961 году, что измеримый кардинал опровергает аксиому конструктивности, а последующие работы Соловья, Мартина, Вудина и других построили современную иерархию и ее связи с детерминированностью.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

Почему ZFC не может доказать существование больших кардиналов?

Недостижимый кардинал дает модель ZFC, поэтому, согласно второй теореме Гёделя о неполноте, ZFC не может доказать существование такого кардинала, не доказывая свою собственную непротиворечивость, чего она не может сделать. Те же рассуждения применимы, тем более, к более сильным большим кардиналам.

Зачем изучать аксиомы, непротиворечивость которых не может быть доказана?

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