[논문 리뷰] Combinatorial background for non-structure

Saharon Shelah|arXiv (Cornell University)|2015. 12. 15.

Advanced Algebra and Logic참고 문헌 4인용 수 5

한 줄 요약

이 논문은 모형 이론에서의 비구조성 연구를 위한 기본적인 조합론적 도구를 제공하며, $\omega$-트리에서의 분할 정리, 가산 개의 산만한 순서로 표현 가능한 선형 순서, pcf 이론, 그리고 정상적 이상에 중점을 둔다. $[\lambda]^{<\kappa}$ 위의 다이아몬드 원리와 필터에 대한 핵심 결과를 수립하며, 특히 필터 확장 하에서 $\diamondsuit^*$ 의 보존성에 초점을 맞추어 [Sh:331]의 응용에 있어 핵심적인 역할을 한다.

ABSTRACT

This was supposed to be an appendix to the book "Non-structure", and probably will be if it materializes. It presents relevant material, sometimes new, which was used in works which were supposed to be part of that book. In section 1 we deal with partition theorems on trees with omega levels; it is self contained. In section 2 we deal with linear orders which are countable union of scattered ones with unary predicated, it is self contained. In section 3 we deal mainly with pcf theory but just quote. In section 4, on normal ideals, we repeat [Sh:247]. This is used in [Sh:331].

연구 동기 및 목표

• 비구조성의 모형 이론적 연구에 활용하기 위한, 특히 트리와 선형 순서에 관한 조합론적 기계장치를 개발하기 위해.
• 필터 확장 하에서 $\diamondsuit^*$ 와 $\diamondsuit$ 원리의 보존 결과를 수립하여 비구조성 이론에서의 일致성 결과에 필수적인 요소를 확보하기 위해.
• 책 *Non-structure* 의 부록으로서 $\omega$-트리, 선형 순서, pcf 이론에 대한 분할 정리에 대한 자가 포함적인 배경을 제공하기 위해.
• 태그가 부여된 트리와 $\aleph_2$-완전한 이상의 역할을 형식화하고, 강제법과 모형 이론적 추론에서의 재귀적 구성 가능성을 보장하기 위한 정상성 조건을 설정하기 위해.
• 특히 정지 집합과 큰 기수의 맥락에서, $[\lambda]^{<\kappa}$ 위의 필터, 이상, 다이아몬드 수열 간의 상호작용을 명확히 하기 위해.

제안 방법

• 성질이 $\omega$-트리와 $\aleph_2$-완전한 이상 $\mathbb{I}_\eta$ 를 가진 태그가 부여된 트리 $({{\mathscr{T}}}, \bar{\mathbb{I}})$ 를 도입하며, $\text{Succ}_{{\mathscr{T}}}(\eta) \notin \mathbb{I}_\eta$ 를 만족하는 분할점들을 정의한다.
• 태그가 부여된 트리 간의 조합적 복잡성과 이상의 구조를 비교하기 위해 네 가지 순서 관계 $\leq$, $\leq^*$, $\leq^\otimes$, $\leq^\otimes_\mu$ 를 정의한다.
• 다이아몬드 원리 $\diamondsuit^*$ 를 수열 $\langle P_u : u \in [\lambda]^{<\kappa} \rangle$ 을 통해 적용하며, $|P_u| \leq |u|$ 를 만족하고, 모든 $X \subseteq \lambda$ 에 대해 $\{u : X \cap u \in P_u\} \in \mathcal{D}$ 가 되도록 보장한다.
• 시퀀스를 인코딩하고 $\diamondsuit^*$-수열의 구성에서 모순를 유도하기 위해 쌍화 함수 $\text{pr}$ 를 사용하며, 필터 합에 대한 보존성을 증명한다.
• 필터 $D$ 에 대한 $\diamondsuit_D$ 와 $\diamondsuit^*_D$ 원리를 적용하여, 크기가 $\lambda$ 인 구조의 모형 이론적 근사와 연결한다.
• Kunen 과 Gregory–Shelah 의 결과를 $\lambda = \kappa$ 에 대해 적용하고, 일반화하여 $\lambda = \lambda^{<\kappa}$ 로 확장하며, 적절한 조건 하에서 $\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$ 가 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 정상적이고 세밀한 필터 $\check{\mathcal{D}}_1 \subseteq \check{\mathcal{D}}_2$ 에 대해 $\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 가 성립할 조건은 무엇인가, 이때 $\diamondsuit^*(\check{\mathcal{D}}_2 + \mathcal{U}_1)$ 도 성립하는가?
• RQ2 특히 $\lambda = \lambda^{<\kappa}$ 일 때, 필터 합 $\check{\mathcal{D}} + \mathcal{U}$ 에서 $\diamondsuit_D$ 와 $\diamondsuit^*_D$ 원리의 행동 방식은 어떻게 되는가?
• RQ3 $\leq^\otimes_\mu$ 순서가 태그가 부여된 트리에서 이상의 구조를 트리 확장 과정 동안 어떻게 유지하는가?
• RQ4 $\mathcal{U} \neq \emptyset \mod \check{\mathcal{D}}_{<\kappa}(\lambda)$ 를 만족할 때, $\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$ 가 성립하는 조건은 무엇인가?
• RQ5 $\diamondsuit^*$-수열을 쌍화 함수와 대각선화를 통해 구성할 때, 필터 확장 과정에서의 모순를 피하기 위한 방법은 무엇인가?

주요 결과

• $\check{\mathcal{D}}_1 \subseteq \check{\mathcal{D}}_2$ 가 정상적 세밀한 필터이고 $\mathcal{U}_1 \subseteq \mathcal{U}_2$ 이면, $\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 는 $\diamondsuit^*(\check{\mathcal{D}}_2 + \mathcal{U}_1)$ 를 함의함을 보여주며, 필터 확장 하에서 다이아몬드 원리의 대칭성을 확립한다.
• $\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 는 $\diamondsuit(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 를 함의함을 보여주며, 필터 확장 맥락에서 $\diamondsuit^*$ 가 $\diamondsuit$ 보다 더 강력한 원리임을 보여준다.
• $\mathcal{U} \neq \emptyset \mod \check{\mathcal{D}}_{<\kappa}(\lambda)$ 이고 $\lambda = \lambda^{<\kappa}$ 이면, 원리 $\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$ 는 항상 성립함을 보여주며, 이는 비구조성 이론에서의 핵심 일致성 도구가 된다.
• 쌍화 함수 $\text{pr}$ 와 대각선화를 통해 $\diamondsuit^*$-수열을 구성할 경우, $B^i \cap u \neq B^i_u$ 인 $u$ 가 $\check{\mathcal{D}}_1$-크기의 집합에 속할 경우 모순이 발생함을 보여주며, 이는 올바른 근사의 존재를 증명한다.
• $\kappa < \lambda = \lambda^{<\kappa}$ 일 때, $\mathcal{U}$ 가 특정 폐쇄 성질을 갖는 집합을 포함하고 $|u|^{<\theta} = |u|$ 를 만족하면, $\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U}$ 에서의 $\diamondsuit^*$-수열의 존재가 보장된다.
• $\leq^\otimes_\mu$ 순서는 비분할 노드에서 $|\text{Succ}_{{\mathscr{T}}_1}(\eta)| < \mu$ 를 만족할 경우, 트리 확장 과정에서 후계 집합을 유지함을 보장하며, 이는 $\mu$-완전한 이상이 존재하는 맥락에서 통제된 재귀적 구성 가능성을 보장한다.