[논문 리뷰] An example of a new simple theory

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|2018. 04. 09.

Advanced Topology and Set Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 키슬러 순서에서 랜덤 그래프보다 엄밀히 위에 있으며 삼각형 없음 랜덤 그래프의 고차원 유사체와 직교하는 새로운 가산 단순 이론 $T_f$를 구성한다. 불리안 대수의 프레임워크를 사용한 두 단계의 초곱 구축을 통해 저자들은 $T_f$가 특정 정규 초필터에 의해 포화되지 않음을 증명하며, ZFC 내에서 비교 불가능한 클래스의 존재를 입증한다 — 이는 모델 이론에서 오랫동안 열려 있던 문제를 해결한다.

ABSTRACT

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a result we prove in ZFC that there are incomparable classes in Keisler's order.

연구 동기 및 목표

• 키슬러 순서에서 랜덤 그래프보다 엄밀히 위에 있는 새로운 단순 이론을 구성하는 것.
• 이 이론이 삼각형 없음 랜덤 그래프의 고차원 유사체의 무한 내림차순과 직교함을 보여주는 것.
• 대규모 카디널 가정 없이 ZFC 내에서 키슬러 순서의 비교 불가능한 클래스의 존재를 증명하는 것.
• 랜덤성과 금지 구성요소 간의 복잡한 상호작용을 보이는 새로운 단순 불안정 이론의 예를 제공하는 것.
• 불리안 대수와 가능성 패턴을 사용한 두 단계의 초곱 방법을 개발하고 적용하여 포화도를 분석하는 것.

제안 방법

• 금지된 $k$-클리크와 랜덤 에지 분포를 가진 그래프를 기반으로 한 $T_f$ 이론을 구성하며, 정점과 $k$-튜플을 포함하는 이중 유형의 구조를 사용한다.
• 두 단계의 초곱 구축을 사용한다: 먼저 $I$ 위의 필터 $\mathcal{D}_0$를 구성하여 $\mathcal{P}(I)/\mathcal{D}_0 \cong \mathfrak{B}^0_{2^\lambda,\mu,\theta}$가 되도록 하고, 그 다음 완비화된 $\mathfrak{B}^1$ 위의 초필터 $\mathcal{D}_*$로 올린다.
• 불리안 대수 $\mathfrak{B}^1$ 내에서 가능성 패턴 $\bar{\mathbf{b}} = \langle \mathbf{b}_s : s \in \Omega \rangle$을 정의하며, 여기서 $\mathbf{b}_s$는 $k$-튜플 위의 유형의 일관성을 코딩한다.
• 모순을 이용하여 비포화를 증명한다: 가능성 패턴 $\bar{\mathbf{b}}$가 $\mathcal{D}_*$ 내에 다중성 재정의가 없음을 보이며, 함수 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$에 기반한 반박을 사용한다.
• 포화도를 초곱의 초필터로의 다중성 재정의 존재로 번역하기 위해 '변수 분리 원리'를 적용한다.
• 이전 연구 [12, 14, 15]의 프레임워크를 활용하여 $T_f$의 정규 초곱에서의 포화도 및 비포화도를 분석한다.

실험 결과

연구 질문

• RQ1 키슬러 순서에서 랜덤 그래프보다 엄밀히 위에 있지만 삼각형 없음 랜덤 그래프의 고차원 유사체의 무한 내림차순에 속하지 않는 단순 이론이 존재하는가?
• RQ2 대규모 카디널 가정 없이 ZFC 내에서 키슬러 순서의 비교 불가능한 클래스의 존재를 증명할 수 있는가?
• RQ3 랜덤성과 금지 구성요소는 단순 불안정 이론에서 초곱의 포화도에 어떻게 영향을 미치는가?
• RQ4 불리안 대수 기법을 사용한 두 단계의 초곱 구축이 새로운 단순 이론에서 비포화를 탐지할 수 있는가?
• RQ5 가능성 패턴과 그 다중성 재정의는 초곱의 포화 성질을 결정하는 데 어떤 역할을 하는가?

주요 결과

• $T_f$는 그 모델 이론적 구조에서 독립성과 비분할 성질을 검증함으로써 명시적으로 단순하다.
• 이론 $T_f$와 관련된 가능성 패턴 $\bar{\mathbf{b}}$는 초필터 $\mathcal{D}_*$ 내에 다중성 재정의가 없으며, 이는 $\mathcal{D}_*$가 $T_f$에 대해 좋지 않음을 증명한다.
• 이 비포화 결과는 $T_f$가 키슬러 순서에서 랜덤 그래프보다 엄밀히 위에 있음을 의미한다. 왜냐하면 랜덤 그래프를 포화시키는 초필터들에 의해도 $T_f$가 포화되지 않기 때문이다.
• $T_f$는 삼각형 없음 랜덤 그래프의 고차원 유사체와 직교한다. 즉, 키슬러 순서에서 상호 비교가 불가능하다.
• 이 구축은 대규모 카디널 가정 없이 ZFC 내에서 비교 불가능한 클래스의 존재를 입증하며, 이는 이전까지 대규모 카디널 가정 하에서만 알려져 있던 문제를 해결한다.
• $T_f$에 대해 비포화된 초곱의 존재는 함수 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$에 기반한 모순을 통해 입증되며, 이 함수는 핵심 유한성 조건을 위반한다.