Глава 3. Детерминированность вверх по иерархии

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

Подъём построен (Глава 1) и снабжён шкалой глубины (Глава 2). Теперь шкала заработает на конкретной классической «стене» — детерминированности игр.

Классически дело выглядит так. Теорема Мартина утверждает: всякая борелевская игра детерминирована — у одного из игроков есть выигрышная стратегия. Но её доказательство лезет по завершённой башне итерированных степеней множеств, и эта башня имеет реальную теоретико-доказательную силу: она требует итераций взятия множества-степеней до ${\omega }_1$. Со стороны привычной упаковки это и есть глухая «стена»: детерминированность будто бы неотделима от завершённой бесконечной башни.

Тезис главы — откат P4: стена оказывается подъёмом, а неконструктивность входит в него не стеной, а в одной точно локализованной точке.

Детерминированность — ординал-процессный подъём: нижний рунг свободен от оракула, а вся «бесконечность» собирается в одном шаге — и шаг этот есть ровно рунг LPO с этажа 1.

Что глава фиксирует и что нет

{ Доказано точно и без аксиом: на конечном дереве игры победитель вычислим обратной индукцией; шаг от конечного к бесконечному — вопрос «выиграет ли игрок I когда-нибудь» — есть ровно LPO; и под Законом Исключённого Третьего он схлопывается¹.}

Не доказано здесь (горизонт): полная стратегическая детерминированность открытых игр Гейла–Стюарта (где требуется ещё и стратегия уклонения второго игрока) и тем более полная борелевская детерминированность Мартина. Они остаются горизонтом-подъёмом — честно локализованным по рунгу, но не достроенным. То, что разрешимая «клопен/открытая» дихотомия исхода равносильна LPO, — известный факт конструктивной обратной математики; наш вклад — разместить этот шаг на ординал-процессном подъёме и связать его мостом с обратной индукцией.

Нижний рунг: обратная индукция без оракула

Начнём с конечной игры — конечного дерева позиций, где в каждом листе известно, чей ход выигрывает. Победитель «того, чей ход» вычисляется обратной индукцией: позиция выиграна, если есть ход, после которого противник проигрывает. Это тотальная вычислимая функция на конечном дереве — ответ всегда есть и получается конечным счётом².

На конечном дереве детерминированность — это рунг 0: чистая обратная индукция, без всякой завершённой башни и без оракула.

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

Шаг к бесконечному — это снова LPO

Теперь поднимем игру к бесконечному горизонту. Представим открытую игру как процесс конечных усечений: на горизонте $K$ игра обрезана до конечного дерева, и её победитель решён обратной индукцией (рунг 0, без оракула). Получаем нить исхода: на каждой ступени — «выигрывает ли игрок I усечённую до $K$ игру».

Спросим о всей игре: выиграет ли игрок I когда-нибудь — то есть срабатывает ли нить исхода на какой-нибудь ступени, или не срабатывает никогда? Но это в точности вопрос этажа 1 из Главы 2 — «срабатывает или никогда», — а он есть LPO.

{ И равенство здесь полное: дихотомия исхода для всех таких игр равносильна LPO — ведь всякая булева нить есть нить исхода подходящей игры (игры из одних листьев)³.}

Вот точная локализация, ради которой глава написана:

Конечные рунги детерминированности свободны (обратная индукция, без оракула); вся «бесконечность» собирается в один шаг — сшивание усечений в бесконечную игру, — и этот шаг есть ровно рунг LPO.

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

Подъём, а не стена

Соберём картину. Рунги детерминированности индексируются ординалом-процессом: их высота — то же $\omega =\mathrm{OLim}$, что и у башни Главы 1⁵, и подъём порождающ — нет максимального рунга. Свод главы собирает это в одно утверждение: конечный рунг разрешим без оракула, открытый рунг есть LPO, классически схлопывается, индекс — ординал-процесс⁶.

Что выше открытого рунга — полная стратегическая детерминированность открытых игр и борелевская башня Мартина с её теоретико-доказательной силой — остаётся горизонтом. Но горизонт этот не стена: он градуированный подъём, на котором мы точно знаем, докуда поднялись (рунг 0 свободен, рунг 1 есть LPO), а выше — открытый путь, а не запертая дверь.

«Стена» детерминированности оказалась подъёмом: достижимое дно достигнуто как процесс, неконструктивность локализована в одном рунге, а высота честно объявлена горизонтом.

E/R/R-разбор: подъём детерминированности как система

Разберём подъём по E/R/R в порождающем порядке Rules $\to$ Roles $\to$ Elements.

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

Roles (L4). Стратегия играет роль процесса — правила, ведущего от позиции к ходу. Рунг играет роль меры всеведения шага (рунг 0 у конечной игры, LPO у открытого горизонта). Высота подъёма — роль ординала-процесса.

Elements (L1 + P4). Носители — конечные деревья усечений и их вычислимые победители. Под P4 актуальны конечные усечения; «выигрывает на ступени $K$» — завершившийся поиск (Элемент), «не выигрывает никогда» — предел- роль, за который и взимается LPO.

Проверка сформированности. Обратная индукция, переход-к-пределу и схлопывание — Rules; стратегия, рунг и высота — Roles; конечные усечения — Elements; пересечений нет. Самоприменения нет: правило перехода стоит над усечениями и не есть одно из них.

Что даёт разбор. Он показывает, что «нужна ли для детерминированности завершённая бесконечность» сформулировано слишком грубо: на конечном рунге — нет (обратная индукция), на открытом — ровно одна доза, LPO, а выше — честный горизонт. Завершённая башня была не необходимостью, а упаковкой; необходимым оказался один точно названный рунг.

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

---

---

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

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

Footnotes

1. Файл DeterminacyAscent; машинно проверено, 0 аксиом (LPO/L3 — гипотезы-предложения). Опирается на конечную детерминированность FiniteGameDeterminacy и на лестницу всеведения RoleLimitLadder из Главы 2. ↩

2. finite_depth_decidable: на конечном дереве принадлежность к выигрышу разрешима (Rocq-решение $\{\cdot \}+\{\cdot \}$), не просто «классически определена». Обратная индукция mover_wins тотальна. 0 аксиом. ↩

3. eventual_decided_is_LPO: дихотомия «игрок I выигрывает на какой-то ступени $\vee$ не выигрывает ни на одной», взятая по всем играм-процессам, равносильна LPO. Машинно проверено, 0 аксиом. ↩

4. eventual_decided_classical: Закон Исключённого Третьего влечёт разрешимость дихотомии исхода (через $\text{LEM}\to \text{LPO}$). 0 аксиом. ↩

5. determinacy_ascent_height_is_omega: индекс рунга детерминированности есть $\omega$ как предел процесса. 0 аксиом. ↩

6. determinacy_is_ordinal_process_ascent: конечная детерминированность $\wedge$ (открытый рунг $=$ LPO) $\wedge$ (L3 схлопывает) $\wedge$ (индекс $=\omega$-процесс) $\wedge$ (нет максимального рунга). 0 аксиом. ↩