– Если вы одушевлённые, что тогда у вас неодушевлённое? – С интересом спросил Майкл
– Вы имеете ввиду животных? – Поинтересовалось дерево.
– “Животных”?! У вас животные и растения поменялись местами? А что насчёт людей? Вы используете их как стол? – Съязвил Майкл Браун.
– Не, у нас люди крайне многофункциональны, например, из крови мы делаем вино, а вам то это виднее, потому что я очень пьяно. Мне видятся ожившие люди – Сказало дерево решив, что оно словило белочку.
– А этот мир всё-таки криповый, если разобраться – Подметил Константин.
Майкл и Константин решили прогуляться по миру, но все предметы увидев их, резко запаниковали.
– Не с места! А то стрелять буду! – Пригрозил пистолет
– Я думаю, жалкие гномики, которые вылетают из твоего лица, желая принять наше существование близко к сердцу не остановят нас. – С нахальной улыбкой крикнул Константин в ответ.
– Мы вовсе не гномы, дылда ты паранормальная! Мозгов у тебя походу нет, раз ты так высказываешься пистолету при исполнении. А жаль, так хотелось их превратить в вкуснейшую кашицу – Высоким голоском сказала пуля, залезая в дуло пистолета.
Пистолет издал громоподобный выстрел, но сила Константина была настолько могуча, что взмахнув рукой он создал порыв ветра, вернувший пулю обратно в дуло, взорвав живой пистолет на кусочки.
– У меня есть некое подозрение что нам тут не рады, – сказал Майкл и учёные ушли отсюда.
Учёные отправились в почти самый высший нарратив бесконечно малой частицы. И в нём они нашли суперкомпактный (сверхкомпактный) кардинал.
Суперкомпактный кардинал – это концепция из теории множеств, раздела математики, который имеет дело с наборами объектов, называемых множествами. В частности, суперкомпактные кардиналы – это большие кардиналы, которые обладают определёнными свойствами, которые делают их полезными для установления результатов согласованности в рамках теории множеств и для изучения структуры теоретико-множественной вселенной.
Кардинальное число κ считается суперкомпактным, если оно обладает следующим свойством: для любого набора структур {M}, каждая из которых имеет размер меньше, чем κ, и любого унарного предиката (свойства элементов) φ, существует элементарное вложение из вселенной V в более крупную структуру N, такое, что N является структурой размера κ, φ выполняется для элемента из N тогда и только тогда, когда оно выполняется для элемента из V, а критическая точка (наименьший порядковый номер, перемещаемый вложением) меньше, чем κ.
Проще говоря, кардинальное число κ является суперкомпактным, если оно достаточно велико, чтобы любое свойство (описываемое унарным предикатом), которое справедливо для структур меньшего размера, могло быть сохранено и расширено до структуры большего размера κ.
Расширяемый кардинал – это понятие из теории множеств, в частности, из области аксиом большого кардинала. Это утверждения, утверждающие существование определенных видов больших кардинальных чисел с определенными свойствами. Концепция расширяемого кардинала относится к изучению согласованности и структуры математической вселенной, особенно в рамках теории множеств.
Кардинальное число κ считается расширяемым, если существует нетривиальное элементарное вложение j из вселенной V в транзитивную внутреннюю модель M такое, что j (κ) > κ. Здесь "нетривиальный" означает, что вложение не является тождественным отображением, а "элементарное вложение" подразумевает, что вложение сохраняет все утверждения первого порядка о множествах. Проще говоря, расширяемый кардинал κ достаточно велик, чтобы существовал способ "растянуть" универсум за пределы κ значимым образом.
