[논문 리뷰] Combinatorial and hybrid principles for sigma-directed families of countable sets modulo finite

James Hirschorn|ArXiv.org|2007. 06. 26.

Advanced Topology and Set Theory인용 수 3

한 줄 요약

이 논문은 연속체 가설(CH)과도 호환되면서 비특수 아론자인 트리의 존재를 특성화하기 위해 하이브리드 조합 원리—특히 원리 $(\mathbb{E}_s)$—를 도입한다. $(\mathbb{E}_s)$가 성립하면 모든 아론자인 트리가 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수임을 보이며, 야브라함과 히르슈른의 결과를 일반화하고, $(H_{\aleph_2}, \in, \mathrm{NS})$ 위에서 $\Pi_2$ 문장들을 만족하는 모델을 구성하기 위한 강력한 조합적 대안을 강력하게 제시한다. 이 틀은 게임 이론적 표현과 포스팅 유사 성질을 통합하여, 반복 포스팅에 대한 최소한의 의존도로 일관성 결과를 도출하는 고수준의 추상적 방법을 제공한다.

ABSTRACT

We consider strong combinatorial principles for sigma-directed families of countable sets in the ordering by inclusion modulo finite, e.g. P-ideals of countable sets. We try for principles as strong as possible while remaining compatible with CH, and we also consider principles compatible with the existence of nonspecial Aronszajn trees. The main thrust is towards abstract principles with game theoretic formulations. Some of these principles are purely combinatorial, while the ultimate principles are primarily combinatorial but also have aspects of forcing axioms.

연구 동기 및 목표

• 연속체 가설(CH)과 호환되면서 $(H_{\aleph_2}, \in, \mathrm{NS})$ 위에서 수많은 $\Pi_2$ 문장을 유도하는 강력한 조합 원리를 개발하는 것.
• CH를 유지하면서 $\Pi_2$ 문장을 만족하는 모델을 구성하기 위한 내부 또는 외부 포스팅의 대안으로 고수준의 추상적 접근을 제공하는 것.
• $\sigma$-직방향 가족의 집합들에 대한 유한 모듈로에서 게임 이론적 표현과 포스팅 유사 성질을 통합하는 것.
• 아론자인 트리가 특수가 아니어도, 모든 아론자인 트리가 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수일 수 있다는 야브라함과 히르슈른의 결과를 일반화하는 것.

제안 방법

• $(\mathbb{E}_s)$ 원리를 제안하며, 이는 $\mathrm{NS}^+$, 즉 $\omega_1$ 위의 양성 이상의 집합에서 최대 반동집합을 기반으로 한 하이브리드 조합 원리이다.
• 트리의 조상 집합과 수직인 가산 부분집합들의 가족 $\mathcal{I}_T$를 도입하여 트리의 구조와 임베딩 가능성을 분석한다.
• 특히 유한 모듈로에서의 $\sigma$-직방향성에 중점을 두고, $\sigma$-직방향 가족과 이상 간의 상호작용을 게임 이론적 표현으로 모델링한다.
• 특수성의 특성화를 위해 $\mathcal{I}_T$의 국소적 가산성과 $\sigma$-직방향성을 활용하여, $\mathcal{I}_T$와 수직인 부분집합이 유한 개의 체인의 합집합 또는 특수 부분트리임을 보장한다.
• 국소적 $\mathcal{I}_T$에 속하는 것과 가산 개의 반동집합의 합집합인 것 사이의 동치성을 활용하여 부분트리의 특수성을 특성화한다.
• 레마 3(무한 반동집합이 없으면 유한 개의 체인의 합집합임)과 추론 4를 적용하여, $\mathcal{I}_T$와 수직인 집합이 유한 개의 체인의 합집합임을 보이고, 이는 특수 부분트리의 구성에 기여한다.

실험 결과

연구 질문

• RQ1 CH와도 호환되면서 $(H_{\aleph_2}, \in, \mathrm{NS})$ 위에서 $\Pi_2$ 문장을 유도하는 강력한 조합 원리를 구성할 수 있는가?
• RQ2 반복 포스팅의 복잡성을 피하기 위해 게임 이론적 표현과 포스팅 유사 성질을 통합하는 원리가 존재하는가?
• RQ3 CH 하에서 원리 $(\mathbb{E}_s)$가 모든 아론자인 트리가 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수임을 유도하는가?
• RQ4 포스팅 없이도 조합 원리를 통해 비특수 아론자인 트리의 존재와 모든 아론자인 트리가 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수임을 동시에 일관되게 유도할 수 있는가?
• RQ5 아론자인 트리 $T$에 대해 $\mathcal{I}_T$의 구조는 부분트리의 특수성과 어떻게 관련이 있는가?

주요 결과

• $(\mathbb{E}_s)$ 원리는 모든 아론자인 트리가 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수임을 유도하며, 야브라함–히르슈른 결과를 일반화한다.
• 모든 아론자인 트리 $T$에 대해 관련 가족 $\mathcal{I}_T$는 유한 모듈로에서 $\sigma$-직방향이므로, $T$의 구조가 $P$-이상 기법을 통해 분석 가능하다.
• 만약 $X \subseteq \theta$ 가 $\mathcal{I}_T$와 수직이면, $X$는 유한 개의 체인의 합집합이며, 이는 $T\restriction X$가 특수임을 의미한다.
• 모든 $S \in \mathcal{A}$에 대해, $\mathcal{A}$는 $(\mathbb{E}_s)$에서 유도된 최대 반동집합이며, $C_S = \bigcap_{n<\omega} C_{S,n}$ 는 $S$에 대해 상대적으로 닫혀 있고, $T\restriction C_S$ 는 특수하다.
• 이러한 구성은 각 $S \in \mathcal{A}$에 대해 $T\restriction C_S$ 가 특수함을 보장하므로, $T$ 는 $(\mathrm{NS}^+, \mathrm{NS}^*)$-특수임을 입증한다.
• 이 틀은 반복 포스팅이나 $\mathbb{P}_{\mathrm{max}}$와 같은 복잡한 포스팅 구성이 요구되는 일관성 결과를 순수한 조합적 증명으로 제공한다.