[논문 리뷰] Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Yizheng Zhu|arXiv (Cornell University)|2016. 10. 07.

Advanced Topology and Set Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 최적의 결정성 가설—구체적으로, 굵은 글자 $Π^1_{2n+1}$-결정성과 가벼운 글자 $Δ^1_{2n+2}$-결정성—이 모든 자연수 $n$에 대해 $(\omega, \omega_1)$-반복 가능한 $M_{2n+1}^\#$의 존재와 동치임을 확립한다. 논문은 $\Pi^1_3$-반복 가능한 마우스와 $L[T_3]$에 대한 불변량을 도입하여, 더 낮은 프로젝티브 계층에서의 '나쁜 수열 증거'를 더 높은 계층으로 일반화함으로써, 홀수 $n$에 대한 추측을 해결하고, 결정성에서 $M_3^\#$의 존재를 증명한다.

ABSTRACT

The determinacy of lightface $Δ^1_{2n+2}$ and boldface $\boldsymbolΠ^1_{2n+1}$ sets implies the existence of an $(ω, ω_1)$-iterable $M_{2n+1}^{\#}$.

연구 동기 및 목표

• 최적의 결정성 원리와 유한 개의 우드린 카디널을 가진 반복 가능한 마우스의 존재 사이의 동치성을 확립하는 것.
• 홀수 $n$에 대해 [10, 섹션 4.2]에서 제기된 $M_{2n+1}^\#$의 존재에 관한 추측을 최적의 결정성 가설 하에서 해결하는 것.
• M_1^\#에서 사용된 '나쁜 수열 증거'를 프로젝티브 계층의 더 높은 수준으로 일반화하는 것, 특히 $n=1$에 대해.
• L의 더 높은 수준의 일반화에서 복잡도 이동을 다루는 프레임워크를 개발하는 것으로, $M_2$ 대신 $L[T_3]$를 올바른 기초 구조로 대체하는 것.
• 결정성의 맥락에서 $\Pi^1_3$-반복 가능한 마우스가 $L$의 가산 초기 세그먼트의 더 높은 수준의 일반화로 올바르게 기능함을 보이는 것.

제안 방법

• 고급 수준으로의 '나쁜 수열 증거' 일반화를 위해 $\Pi^1_3$-반복 가능한 마우스 위에 반복 트리 스택을 구성하고 분 branches 행동을 분석하는 방식.
• 가장 높은 수준의 일반화로 $\Pi^1_3$-반복 가능한 $x$-마우스를 $L$의 가산 초기 세그먼트의 일반화로 사용하며, Dodd-Jensen 전선순서 $\leq_{DJ(x)}$를 적용.
• Dodd-Jensen 순서의 $\Sigma^1_4$-절대성 비교를 Silver의 이분법과 $Q$-이론을 사용하여 $\Delta^1_2$-결정성 하에서 적용.
• 직접 극한에서의 정상성과 동형성을 보장하는 $\cdot^{3\#}_i$를 존중하는 분지들의 수열에서 극한 분지 $b = \bigcup_i b_i$를 구성.
• canonical maps $\tau: \mathcal{R} \to \mathcal{M}_b^\mathcal{T}$를 사용하여 $b$가 정상 분지임을 보이며, 이는 $\mathcal{M}_b^\mathcal{T} = \mathcal{R}$와 $b$가 $\cdot^{3\#}_n$을 존중함을 의미.
• 논문 [2]의 기법을 적용하여 $M_2^\#(\mathcal{Q})$가 $(\omega, \omega_1)$-반복 가능하다는 것을 결론 내리고, $\Sigma_1$-스코렘 헐을 취함으로써 $(\omega, \omega_1)$-반복 가능한 $M_3^\#$를 확보.

실험 결과

연구 질문

• RQ1 모든 $n \in \mathbb{N}$에 대해 $\boldsymbol{\Pi}^1_{2n+1}$-결정성과 $\Delta^1_{2n+2}$-결정성이 $(\omega, \omega_1)$-반복 가능한 $M_{2n+1}^\#$의 존재를 유도하는가?
• RQ2 M_1^\#에서 사용된 '나쁜 수열 증거'는 $M_3^\#$와 같은 더 높은 수준으로 일반화될 수 있는가?
• RQ3 프로젝티브 계층에서 $L$의 올바른 더 높은 수준의 일반화는 무엇이며, $M_2^\#$와 어떻게 관련되는가?
• RQ4 $\Pi^1_3$-반복 가능한 마우스와 그들의 Dodd-Jensen 순서는 $M_2^\#$와 $M_3^\#$의 구성과 어떻게 관련되는가?
• RQ5 다른 실수 위에서의 $\Pi^1_3$-반복 가능한 마우스 비교는 $\Delta^1_2$-결정성 하에서 $\Sigma^1_4$-정의 가능한 관계를 통해 절대적이게 만들 수 있는가?

주요 결과

• 논문은 $\boldsymbol{\Pi}^1_{2n+1}$-결정성과 $\Delta^1_{2n+2}$-결정성이 모든 $n \in \mathbb{N}$에 대해 $(\omega, \omega_1)$-반복 가능한 $M_{2n+1}^\#$의 존재와 동치임을 증명한다.
• 정리 1.1의 $2 \Rightarrow 3$ 방향은 $n > 0$에 대해 확립되어, [10, 섹션 4.2]의 추측이 홀수 $n$에 대해 완전히 해결됨을 보여준다.
• 특히 $n=1$의 경우, $\Pi^1_3$-반복 가능한 마우스의 직접 극한인 $\mathcal{Q}$에 대해 $M_2^\#(\mathcal{Q})$의 $\Sigma_1$-스코렘 헐을 취함으로써 $(\omega, \omega_1)$-반복 가능한 $M_3^\#$를 얻는다.
• 실수 $x$에 의해 코딩된 $\Pi^1_3$-반복 가능한 $x$-마우스의 집합은 $x$에 대해 일관되게 $\Pi^1_3(x)$이며, Dodd-Jensen 순서 $\|\mathcal{M}\|_{DJ(x)}$는 $\Delta^1_3(x)$-정의 가능하다.
• $\Delta^1_2$-결정성 하에서 서로 다른 실수 위에서의 $\Pi^1_3$-반복 가능한 마우스 비교는 $\Sigma^1_4$-절대적이며, 이는 구성의 강건성을 보장한다.
• 증명은 $M_2^\#(\mathcal{Q})$가 상단의 $M_2^\#$-성분을 올바르게 이동시키고, 드롭 시에도 $\Pi^1_3$-반복 가능성 유지 기능을 갖는 부분 $(\omega, \omega_1)$-반복 전략 $\Gamma$를 갖는다는 것을 보여준다.