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

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

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

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

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