[논문 리뷰] A separation theorem for simple theories

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|2018. 10. 22.

Advanced Topology and Set Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 모형 이론에서 나누기의 일반화된 개념인 'shearing'을 도입하며, 이는 맥락 $$\mathbf{c}$$ 에 따라 달라지며, 단순 이론들 사이의 문법적 경계로 $$\mathbf{c}$$-초안정성($$\mathbf{c}$$-superstability)을 정의한다. 주요 결과는 분리 정리이다: 임의의 가산 맥락 $\mathbf{c}$와 이론들 $T_1$ ($$\mathbf{c}$-초안정성) 및 $T_2$ ($$\mathbf{c}$-비초안정성)에 대해, 어떤 이론이 동시에 $T_1$과 $T_2$를 해석하는 모형들이 존재하며, 이들 모형은 임의로 큰 $\mu$에 대해 $T_1$에 대해 $\mu$-초안정이고 $T_2$에 대해 $\aleph_1$-초안정이 아니며, 이는 $$\mathbf{c}$$-초안정성이 강력한 경계임을 보여준다.

ABSTRACT

This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a syntactical notion, which includes supersimplicity as a special case. We prove a separation theorem showing that for any countable context c and any two theories $T_1$, $T_2$ such that $T_1$ is c-superstable and $T_2$ is c-unsuperstable, and for arbitrarily large $μ$, it is possible to build models of any theory interpreting both $T_1$ and $T_2$ whose restriction to $τ(T_1)$ is $μ$-saturated and whose restriction to $τ(T_2)$ is not $\aleph_1$-saturated. (This suggests "c-superstable" is really a dividing line.) The proof uses generalized Ehrenfeucht-Mostowski models, and along the way, we clarify the use of these techniques to realize certain types while omitting others. In some sense, shearing allows us to study the interaction of complexity coming from the usual notion of dividing in simple theories and the more combinatorial complexity detected by the general definition. This work is inspired by our recent progress on Keisler's order, but does not use ultrafilters, rather aiming to build up the internal model theory of these classes.

연구 동기 및 목표

• 단순 이론들 내 복잡성의 변화를 탐지하기 위한 내부 모형이론적 도구를 개발하기 위해.
• 맥락 $$\\mathbf{c}$$ 에 따라 달라지는 shearing을 통해 나누기의 개념을 일반화하고, 문법적 경계로 $$\mathbf{c}$$-초안정성을 정의하기 위해.
• 케이슬러 순서와 단순 이론에서의 초안정성 이해의 도전 과제에 기반하여, 단순 이론에서의 초안정 모형을 안정한 경우와 유사하게 특성화하기 위해.
• 일반화된 에렌페르트-모스터모어 모형이 유형을 실현하면서도 다른 유형을 생략하는 데서의 역할을 명확히 하기 위해, 특히 shearing의 맥락에서.

제안 방법

• Shearing은 일반화된 불변성 수열을 따라 공식의 모순성으로 정의되며, 불변성 수열을 사용하는 표준 나누기의 일반화이다.
• 맥락 $$\mathbf{c} = (I, \mathcal{K})$$ 가 도입되며, 여기서 $I$ 는 구조이고 $\mathcal{K}$ 는 부분구조의 집합이며, 이는 shearing 관계를 매개변수화한다.
• 논문은 일반화된 에렌페르트-모스터모어(GEM) 모형을 사용하여 유형을 실현하고 다른 유형을 생략하며, [11]의 기법을 바탕으로 하되 맥락으로 확장한다.
• 핵심 구성은 $$\mathbf{c}$$-초안정성을 통해 초안정성 행동을 제어함으로써, $T_1$에 대해 $\mu$-초안정이고 $T_2$에 대해 $\aleph_1$-초안정이 아닌 모형을 만드는 것이다.
• 증명은 $$\Upsilon_{\mathcal{K}}[T]$$ 내에서 밀도가 있는 매개변수 집합 $$\Phi$$ 의 집합에 기반하며, 이 집합에서 $$\operatorname{GEM}_{\tau(T)}(I,\Phi)$$ 가 $$\lambda$$-초안정이 되는 것은 $$T$$ 가 $$\mathbf{c}$$-초안정일 때에만 성립한다.
• 저자는 가산 경우($\kappa = \aleph_0$)의 결과를 비가산 정규 $$\kappa$$ 로 확장하며, $$\kappa$$-맥락과 $$\kappa$$-표현을 정의하여 프레임워크를 일반화한다.

실험 결과

연구 질문

• RQ1 Shearing이 단순 이론에서의 독립관계의 표준 성질들을 만족하는가? 그렇지 않다면 어떤 성질이 실패하고 그 이유는 무엇인가?
• RQ2 모든 가산 맥락 $$\mathbf{c}$$ 에 대해, $T$ 가 $$\mathbf{c}$$-초안정일 때이고 뿐만 아니라 무작위 그래프가 $$\mathbf{c}$$-초안정일 때일 때, 이에 해당하는 이론들의 집합을 특성화할 수 있는가?
• RQ3 다음과 같이 정의된 순서 $T_1 \leq T_2$: 모든 가산 맥락 $$\mathbf{c}$$ 에 대해 $T_2$ 가 $$\mathbf{c}$$-초안정이면 $T_1$ 도 $$\mathbf{c}$$-초안정이 되는가? 이 순서의 구조는 어떠한가?
• RQ4 이 $$\mathbf{c}$$-초안정성 순서 하에서 초단순 이론들 중 최대 클래스가 존재하는가?
• RQ5 결과들을 비가산 맥락으로 확장할 수 있으며, $$\kappa > \aleph_0$$ 일 경우에 필요한 수정 사항은 무엇인가?

주요 결과

• 논문은 분리 정리를 확립한다: 임의의 가산 맥락 $\mathbf{c}$ 와 이론들 $T_1$ ($$\mathbf{c}$-초안정성) 및 $T_2$ ($$\mathbf{c}$-비초안정성)에 대해, $T_1$ 과 $T_2$ 둘 다를 해석하는 어떤 이론의 모형들이 존재하며, 이들 모형은 임의로 큰 $\mu$ 에 대해 $T_1$ 에 대해 $\mu$-초안정이고 $T_2$ 에 대해 $\aleph_1$-초안정이 아니며, 이는 $$\mathbf{c}$$-초안정성이 강력한 경계임을 보여준다.
• 이 구성은 일반화된 에렌페르트-모스터모어 모형을 사용하며, $$\mathbf{c}$$-초안정성 조건을 통해 $T_1$ 과 $T_2$ 에 대해 초안정성 행동을 독립적으로 제어할 수 있음을 보여준다.
• 저자들은 $$T$$ 가 $$\mathbf{c}$$-초안정일 때이고 뿐만 아니라 $$\Upsilon_{\mathcal{K}}[T]$$ 내에서 밀도가 있는 $$\Phi \in \Upsilon_{\mathcal{K}}[T]$$ 에 대해 $$\operatorname{GEM}_{\tau(T)}(I,\Phi)$$ 가 $$\lambda$$-초안정일 때에만 성립함을 증명하며, 이는 모형이론적 초안정성과 $$\mathbf{c}$$-초안정성의 문법적 개념을 연결한다.
• 무작위 그래프가 모든 가산 맥락 $$\mathbf{c}$$ 에 대해 $$\mathbf{c}$$-비초안정임이 입증되었으며, 이는 복잡성의 별개의 클래스에 속해 있음을 나타낸다.
• 논문은 초단순 이론이 아닌 이론들 정확히 모든 가산 맥락 $$\mathbf{c}$$ 에 대해 $$\mathbf{c}$$-비초안정임을 보여주며, 이는 $$\mathbf{c}$$-초안정성이 강력한 경계임을 확인한다.
• 초안정 이론들은 $$\mathbf{c}$$-초안정성 순서에서 최소이며, 모든 가산 맥락 $$\mathbf{c}$$ 에 대해 $$\mathbf{c}$$-초안정이므로, 무작위 그래프는 비초안정 이론들 중 최소이다.