[논문 리뷰] Dependent dreams: recounting types

Saharon Shelah|arXiv (Cornell University)|2012. 02. 26.

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

한 줄 요약

이 논문은 종속(의존성 없는, NIP) 이론에서의 완전 타입의 구조를 연구하며, 정의 가능한 집합과 비차별적 수열을 통해 타입을 분석하기 위한 분해 프레임워크를 도입한다. 주요 기여는 $\lambda = \lambda^{<\lambda}$일 때 자동형사상에 대해 모odulo된 완전 타입의 수가 $\lambda$로 유계임을 증명하는 것으로, 안정성 스펙트럼 결과를 종속 이론으로 일반화한다.

ABSTRACT

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q, 2^{|T|} then is indiscernible for some stationary S subseteq kappa. Third, for stable T,a model is kappa-saturated iff it is aleph_epsilon-saturated and every infinite indiscernible set (of elements) of cardinality &lt; kappa can be increased. We prove here an analog. Fourth, for p in S(M), the number of ultrafilters on the outside definable subsets of M extending p has an absolute bound 2^{|T|} . Restricting ourselves to one phi(x, y), the number is finite, with an absolute found (well depending on T and phi).

연구 동기 및 목표

• 안정성 이론적 기법—예를 들어 타입 수 계산과 비차별적 수열—을 종속(NIP) 이론으로 확장하기 위해.
• 정의 가능한 집합과 자동형사상 궤적을 바탕으로 한 분해 프레임워크를 도입하여 포화된 모델 위에서 완전 타입의 구조를 이해하기 위해.
• 종속 이론에 대해 안정성 이론적 특성(예: 포화 기준 등)의 유사체를 수립하기 위해.
• 약한 대규모 기수 가정 하에 일반 쌍 추측을 증명하여 이전 결과를 확장하기 위해.
• 자동형사상에 대해 모odulo된 타입 수 계산의 스펙트럼을 분석하여, 종속 이론에서 $\lambda = \lambda^{<\lambda}$일 때 이 수가 $\lambda$로 유계임을 보여주기 위해.

제안 방법

• 타입을 정의 가능한, 균일한 성분으로 분해하기 위해 클래스 $\mathsf{pK}_{\kappa,\bar{\mu},\theta}$, $\mathsf{tK}_{\kappa,\bar{\mu},\theta}$, $\mathsf{vK}_{\kappa,\bar{\mu},\theta}$, 및 $\mathsf{rK}_{\kappa,\bar{\mu},\theta}$ 를 도입한다.
• $M_{[\mathbb{x}]}$의 확장된 모델에서의 $\kappa$-수열 균일성으로 인해 $\mathsf{tK}$ 및 $\mathsf{vK}$의 분해에 대해 유일성과 안정성 유사 성질을 도출한다.
• 편극화된 분할 정리들을 적용하여 종속 이론에서 비차별적 집합의 역할을 시뮬레이션하고, 전체 비차별성 정리의 필요성을 대체한다.
• 일반 기수 가정 하에 $\mathsf{tK}$ 및 $\mathsf{vK}$의 일관성과 조밀도를 증명하기 위해 수열 $\bar{b}_{n,0}, \bar{b}_{n,1}$ 과 초수체 $\mathscr{D}_n$ 의 재귀적 구성법을 사용한다.
• $\mathsf{ntr}(\mathbb{x})$ 를 정의하여 분해에서 해법의 실패 정도를 측정하고, 조밀도 증명에 도움을 준다.
• $B^{+}_{\mathbb{x}}$-집합과 매끄러움 개념을 사용하여 종속 이론에서 안정성 유사 행동을 식별하며, 특히 $\mathbb{x} \in \mathsf{pK}$ 이고 $\mathbb{x} \in \mathsf{tK}$ 또는 $\mathsf{vK}$ 일 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 종속 이론에서 자동형사상에 대해 모odulo된 완전 타입의 스펙트럼은 무엇이며, 안정성 이론이나 $\mathrm{Th}(\mathbb{Q},<)$ 이론과 비교해보면 어떻게 되는가?
• RQ2 비차별적 수열의 개념은 정의 가능한 분해를 통해 종속 이론으로 일반화될 수 있는가? 그러한 수열이 만족하는 구조적 성질은 무엇인가?
• RQ3 $\mathsf{tK}_{\kappa,\bar{\mu},\theta}$ 가 $\mathsf{pK}_{\kappa,\bar{\mu},\theta}$ 에서 $\leq_1$-조밀해지는 조건은 무엇이며, 이는 타입 수 계산과 어떻게 관련되는가?
• RQ4 어떤 조건에서 일반 쌍 추측은 강력한 대규모 기수 공리를 가정하지 않고 종속 이론에서 증명될 수 있는가?
• RQ5 정의 가능한 집합과 그 방향성(유계/중간/크기)은 종속 이론에서 타입의 구조에 어떻게 영향을 미치는가?

주요 결과

• 종속 이론 $T$ 에 대해 $\lambda = \lambda^{<\lambda}$ 이고 $M$ 이 크기가 $\lambda$ 인 포화된 모델이라면, $M$ 위에서 자동형사상에 대해 모odulo된 완전 타입의 수는 최대 $\lambda$ 이며, $\lambda = \aleph_\alpha$ 일 때는 $|\alpha|^{|T|}$ 로 유계가 된다.
• $\kappa = \mu_2 = \mu_1 = \mu_0$ 가 약한 콤팩트 기수일 때, 클래스 $\mathsf{tK}_{\kappa,\bar{\mu},\theta}$ 는 $\mathsf{pK}_{\kappa,\bar{\mu},\theta}$ 에서 $\leq_1$-조밀하다.
• $\kappa = \mu^+$, $\mu$ 가 코finality $> \theta$ 인 비가역 강한 극한이며 $T$ 가 가산일 때, ZFC 내에서 클래스 $\mathsf{tK}_{\kappa,\kappa,\theta}$ 는 $\mathsf{pK}_{\kappa,\kappa,\theta}$ 에서 조밀하다.
• 포화된 모델 $M$ 위의 모든 완전 타입 $p \in \mathbb{S}(M)$ 은 $M$ 내부에서 길이 $\|M\|$ 인 비차별적 수열의 평균이다.
• 일반 쌍 추측은 $\kappa = \kappa^{<\kappa} > |T| + \beth_\omega$ 일 때 증명되었으며, 이는 이전 결과를 더 넓은 기수 클래스로 확장한다.
• $\mathbb{x} \in \mathsf{tK}_{\kappa,\bar{\mu},\theta}$ 일 때, $M_{[\mathbb{x}]}$ 는 $\kappa$-수열 균일성을 띠며, 이는 특정 타입 실현의 유일성과 구조적 통제를 가능하게 한다.