Приключения Майкла и Константина - Мастер Исандер

Скачать книгу

ординал большой буквой М). Регулярность Махло кардинала доказывается от обратного, вкратце, если бы он не был регулярным, то должен был бы существовать меньший по величине регулярный ординал, с помощью которого его можно было бы образовать, и тогда он являлся бы частью клуба предельных кардиналов, но как мы помним по определению он является для всех них пределом, значит не входит в их множество, и следовательно больше их. Ну а раз Махло кардинал является регулярным и при этом он предел, значит он так же предельный, тогда получается что по своим свойствам он ещё и недостижимый (которые по определению регулярные и предельные одновременно). Тем не менее, он будет больше любого ранее определённого нами недостижимого кардинала или гипер-недостижимого кардинала с любой мыслимой степенью недостижимости (потому что они всегда регулярные, а значит где-то за ними есть предельный кардинал из клубного сомножества; Махло кардинал же по определению является пределом и для тех и для других). Получается что множество всех мыслимых недостижимых и гипер-недостижимых кардиналов меньших него так же стационарно для Махло кардинала, как и множество всех регулярных кардиналов меньше него. То есть уже нет никаких сомнений, что Махло кардинал будет больше любого недостижимого, которого мы способны выразить с помощью иерархии Веблена, или какой-либо иной иерархии, способной учитывать степени недостижимости. Значит он идеально подходит нам в качестве диагонализатора для ординальной коллапсирующей функции.

      Однако перед тем как мы будем разбираться в новой коллапсирующей функции основанной на Махло кардинале, следует вспомнить, что из-за недоказуемости обобщенной континуум-гипотезы мы были вынуждены разделить недостижимые кардиналы на слабонедостижимые и сильнонедостижимые, так же как раньше разделили несчетные на алеф-кардиналы и бет-кардиналы, это же придется сделать и с Махло кардиналом. Махло кардинал для которого стационарно множество регулярных алеф-кардиналов (и соответственно слабонедостижимых тоже) будет называться Слабым Махло кардиналом, а Махло кардинал для которого стационарно множество регулярных бет-кардиналов (и соответственно сильнонедостижимых тоже) будет называться Сильным Махло кардиналом. Если предположить правильность континуум-гипотезы, то Слабый Махло кардинал и Сильный Махло кардинал это один и то же кардинал, однако если предположить ложность континуум-гипотезы, то так же как это было с недостижимыми: Слабый Махло кардинал < Сильный Махло кардинал, и мы так же не можем предположить насколько первый меньше второго, он может быть даже меньше континуума (ב1).

      Функция Бухольца принимала в себя два аргумента: ψπ(n) – где π – это регулярный кардинал, на основе которого происходит коллапсирование, а n – это ординал, основной аргумент функции, который собственно и коллапсируется, он может быть любым, но не должен превосходить по кардинальности π. В целом функция ψπ(n), в случае |n| = π, на выходе понижала кардинальность n, но увеличивала рекурсию получившегося ординала, так что ψΩk+1(Ωk+1) = εΩk+1, и ψΩk(Ωk+α) = ωψΩk(Ωk)+α.

      Здесь придём к функции Ратъена. На самом деле это не одна, а целых две функции, и кроме ψ-функции Ратъен определил еще и χ-функцию. Принципиальное отличие между ними заключается в том, что если

Скачать книгу