Глава 5. Синтез: иерархия есть процесс

Где стоит глава

Четыре главы построили подъём. Глава 1 дала башню роль-типов — строго растущую, порождающую, индексированную ординалом-процессом $\omega$. Глава 2 снабдила её шкалой глубины: каждый этаж отвечает рунгу всеведения, и эта градация конструктивна. Главы 3 и 4 пустили шкалу в дело, откатив две классические «стены» — детерминированность и вполне-упорядоченность — к процессам, у которых неконструктивность локализована в одной точке.

Остаётся вопрос синтеза: что делает эти четыре результата одной иерархией, а не списком из четырёх? Ответ — две нити, сшивающие подъём в единое целое: общий ординал-процессный индекс и один повторяющийся рунг всеведения. Эта глава их вытягивает и формулирует флагман части.

Первая нить: единый ординал-процессный индекс

Башня роль-типов (Глава 1) индексирована высотой $\omega$, заданной как предел процесса. Подъём детерминированности (Глава 3) индексирован своими рунгами — и их высота есть тот же $\omega =\mathrm{OLim}$, предел того же нумерующего процесса¹. Это не совпадение обозначений: обе структуры порождаются одним правилом — «над достигнутым — ещё ступень», и предел берётся как процесс, а не как завершённая верхняя грань.

Первая нить: по всему подъёму проходит один индекс — ординал-процесс $\omega$. Высота иерархии не число, а процесс; и это тот же процесс на каждом её участке.

Отсюда же общая черта порождающности: ни у башни, ни у подъёма детерминированности нет максимального этажа — над любым достигнутым есть следующий. Подъём един уже по своему индексу.

Вторая нить: один рунг LPO повторяется

Вторая нить глубже и неожиданнее. Этаж 1 башни (Глава 2) отвечал рунгу LPO — вопросу «срабатывает или никогда». Открытый рунг детерминированности (Глава 3) — вопросу «выиграет ли игрок I когда-нибудь» — тоже оказался ровно LPO. Это один и тот же рунг: разрешить вопрос этажа 1 и разрешить открытую детерминированность — равносильные способности².

И та же доза всеведения — LPO — есть ${\Sigma }_1^0$-«край» метода вполне-упорядоченности над разрешимым (Глава 4): там, где разрешимость продолжений теряется, начинается ровно этот рунг. Глубина иерархии, подъём детерминированности и край wqo-метода — одна лестница рунгов, а не три параллельных.

Вторая нить: один рунг всеведения — LPO — повторяется по всему подъёму. Это не разные «бесконечности» в разных задачах, а одна доза, входящая в одной и той же точке.

И, как всякий рунг (Глава 2), он конструктивен: Закон Исключённого Третьего схлопывает его всюду одинаково. Единство рунга — тоже P4-факт: классическому взгляду, для которого всё уже завершено, не видно, что это та же самая доза.

Нулевая аксиомная база и локализованная неконструктивность

Под обеими нитями — общее основание: дно подъёма свободно от оракула. Конечная детерминированность считается обратной индукцией; вполне-упорядоченность ℕ — фундированным спуском; равенство на нулевом этаже разрешимо. Всё это — 0 аксиом, чистые процессы стороны Элемента³.

Неконструктивность же входит не сплошь, а в точно названных рунгах — и это всегда один рунг LPO, на шаге от конечного к бесконечному. Получается резкая картина: весь низ подъёма аксиомо-свободен, а завершённая бесконечность собирается в одну локализованную дозу, повторяющуюся по структуре, но нигде не разлитую стеной.

Реестр «бывших стен» обновлён

Часть X разметила «высокие» построения теории множеств реестром «бывших стен» и оставила минимально-плохую последовательность и борелевскую башню со статусом «процессная форма не привлечена». Настоящая часть этот статус поднимает: их нижние рунги построены как процессы, и обе «стены» переходят в «частично откачено»⁴.

{Из классических «высоких» построений единственный подлинно запрещённый P4-объект — сама завершённая актуальная бесконечность. Остальное либо достигнуто как операция-роль, либо строится как процесс; «стены» оказались подъёмами.}

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

Иерархия есть процесс

Теперь можно произнести флагман части прямо.

Иерархия есть процесс.

Сторона предела-роли границы финитизации — не завершённый объект (кумулятивная, борелевская, проективная башни как готовые множества) и не глухая стена, а восходящий ординал-процессный подъём роль-типов: порождающий (без вершины), градуированный всеведением (глубина видна лишь под P4), с аксиомо-свободным дном и локализованной в одном рунге неконструктивностью.

Это переобрамление встаёт в один ряд с уже пройденными в томе. Вещественное число — процесс Коши, а не завершённый объект (Часть IV). Алгебраическое замыкание $\overline{Q}$ — порождающая башня без максимального этажа (Часть XI). Многообразие — процесс склейки карт (Часть XII). Иерархия — их теоретико-множественный собрат: то, что классика мыслит как завершённую башню-объект, есть на деле порождающий процесс.

Скажем честно и об уровне. Синтез — это размещение и объединение доказанных ступеней двумя нитями, а не новые «высокие» теоремы; полные Крускал и борелевская детерминированность остаются горизонтами. Сила части не в том, что взята новая вершина, а в том, что вершина оказалась не нужна: содержание достигается подъёмом, а завершённый объект-вершина был артефактом упаковки.

E/R/R-разбор: иерархия как система

Разберём по E/R/R уже не отдельную ступень, а весь подъём как одну систему — в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (L5). Два удерживающих правила сшивают подъём: правило индексации («над достигнутым — ещё ступень», предел берётся процессом $\omega$) и правило рунга (шаг от конечного к бесконечному взимает ровно LPO, и Закон Исключённого Третьего схлопывает его одинаково). Эти два правила — и есть две нити синтеза.

Roles (L4). Подъём играет роль процесса, а не объекта; его высота — роль ординала-процесса; рунг LPO — роль единой меры всеведения, повторяющейся по структуре. «Бывшая стена» играет роль горизонта-подъёма, а не запрета.

Elements (L1 + P4). Носители — конечно-достижимые ступени всех четырёх конструкций: этажи башни, конечные усечения игр, конечные участки спуска. Под P4 актуальны они; завершённая вершина-объект не актуализуется — она и есть единственный запрещённый объект.

Проверка сформированности. Правила индексации и рунга — Rules; подъём, высота, рунг, горизонт — Roles; конечные ступени — Elements; пересечений нет. Самоприменения нет (P1): правила стоят над подъёмом и не суть его ступени — иерархия не содержит саму себя как этаж. Именно это самонесодержание и отделяет порождающий процесс от парадоксального «множества всех множеств».

Что даёт разбор. Он показывает, что «как велика иерархия» и «нужна ли ей завершённая бесконечность» суть смешения категорий: они требуют от процесса-подъёма быть завершённым Элементом-объектом. Корректные вопросы — докуда удаётся подняться и в каком рунге входит неконструктивность, — и на оба часть ответила точно.

На этом сторона предела-роли получает свою процессную форму. Заключительный синтез тома (Часть XX) сведёт обе стороны границы финитизации воедино — и теперь у него есть, что свести: не плоская стена, а градуированный процессный подъём, выстроенный здесь ступень за ступенью.

---

---

Часть: Часть XVIII. Процессная иерархия · Том: «Математика»

Навигация: ← Глава 4. Вполне-упорядоченность как процесс над разрешимым · Глава 1. Бесконечно малое как процесс — Часть XIX →

Footnotes

1. В своде направления оба индекса — высота башни и высота подъёма детерминированности — суть один $\omega$ как $\mathrm{OLim}$ нумерующего процесса (tower_height_is_limit_process, determinacy_ascent_height_is_omega). 0 аксиом. ↩

2. level1_equiv_open_determinacy: разрешимость вопроса этажа 1 башни равносильна разрешимости открытой детерминированности — оба суть LPO. Машинно проверено, 0 аксиом. ↩

3. Свод process_hierarchy_synthesis собирает обе нити (единый $\omega$-индекс $\wedge$ повторяющийся рунг LPO $\wedge$ конструктивность градации) вместе с 0-ax базой (конечная детерминированность $\wedge$ wqo_nat_le) и обновлённым реестром. Машинно проверено, 0 аксиом. ↩

4. walls_upgraded_by_direction: в реестре «бывших стен» минимально-плохая последовательность (Крускал) и борелевская башня переведены из «не привлечено» в «частично откачено» — их нижние рунги построены как процессы (Главы 3–4); полные формы остаются consistency-strength горизонтом. 0 аксиом. ↩