[논문 리뷰] Keisler's order is not simple (and simple theories may not be either)

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|2019. 06. 24.

Limits and Structures in Graph Theory참고 문헌 27인용 수 5

한 줄 요약

이 논문은 모형 이론에서 오랫동안 열려 있던 문제를 해결하여, 제이슬러 순서가 일阶 이론들에 대해 가능한 최대의 클래스 수—연속체 만큼—을 가짐을 증명한다. 이는 비자명한 분할이 없는 간단한 불안정 이론의 새로운 구성 방법을 통해 이루어지며, 밀도 증가율을 인코딩하는 이분 그래프의 매개변수화된 가족을 통해 구축된다. 이러한 이론들은 초수체가 이론적 밀도 성장률을 반영하도록 설계된 새로운 체인 조건을 통해 초수체를 구성함으로써 유도되며, 제이슬러 순서가 선형적이지도 않고 단순하지도 않음을 보여주고, 간단한 이론이 이전에 생각한 것보다 훨씬 풍부한 복잡성을 가질 수 있음을 시사한다.

ABSTRACT

Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemerédi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.

연구 동기 및 목표

• 제이슬러 순서에 존재하는 동치 클래스의 수가 얼마인지 오랫동안 남아 있던 문제를 해결하기 위해.
• 규칙적인 초수체에서 근본적으로 다른 포화 행동을 보이는 이론의 가족을 구성함으로써, 제이슬러 순서가 선형적이지도 않고 단순하지도 않음을 보이기 위해.
• 비자명한 분할이 없는 단순한 불안정 이론이 이전에 생각한 것보다 훨씬 풍부한 내부 복잡성을 가질 수 있음을 보여주기 위해.
• 특정 모형 이론적 포화 성질을 반영하는 불린 대수 위의 초수체를 구성하는 새로운 방법을 개발하기 위해.
• 밀도 성장이 단순 이론의 구조와 제이슬러 순서 내에서의 위치에 미치는 영향을 이해하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 높이가 증가함에 따라 완전한 이분 그래프와 희박한 랜덤 이분 그래프 사이를 번갈아가며 연결되는 유한 분지 트리의 쌍을 구성하기 위해.
• 유한 그래프 밀도를 인코딩하는 구조로 '매개변수'를 정의하고, '레벨 함수'로 희박한 그래프가 사용되는 위치를 추적하기 위해.
• 각 매개변수를 비자명한 분할이 없는 단순하고 불안정한 이론에 연관지으며, 단항 술어 위의 필터링된 이분 랜덤 그래프로 구성하기 위해.
• 한 가족의 이론에서는 포화를 유지하지만 다른 가족의 이론에서는 유형을 생략하는 초수체를 보장하기 위해 불린 대수 위에 새로운 체인 조건을 도입하기 위해.
• 레벨 함수로부터 생성된 아이디얼을 사용하여, 인덕티브 초수체 구성 과정에서 이론의 서로 다른 가족 간의 수직성을 보장하기 위해.
• 비자유 불린 대수와 필터를 인덕티브로 구성하며, 한 가족의 모형 이론 문제의 해를 추가하면서도 다른 가족의 아이디얼을 통해 체인 조건을 유지하기 위해.

실험 결과

연구 질문

• RQ1 제이슬러 순서는 가чёт수 이상의 동치 클래스를 가지는가, 그리고 만약 그렇다면 그 최대 구조는 무엇인가?
• RQ2 비자명한 분할이 없는 단순한 불안정 이론이 규칙적인 초수체에서 근본적으로 다른 포화 행동을 보일 수 있는가?
• RQ3 무작위 그래프의 동치류가 제이슬러 순서에서 모형 이론적으로 특성화될 수 있는가, 그리고 이는 밀도 현상과 연결될 수 있는가?
• RQ4 ZFC 내에서 복잡한 그래프 밀도 성장률을 반영할 수 있는 초수체를 구성할 수 있는가, 이를 통해 포화 행동을 구분할 수 있는가?
• RQ5 실제 분할이 존재하지 않는 상황에서도, 분할에 대한 유한한 근사치를 통해 단순 이론의 구조를 어느 정도 이해할 수 있는가?

주요 결과

• 제이슬러 순서는 ZFC 내에서 가능한 최대의 클래스 수—연속체 만큼—을 가지며, 이는 수십 년간 남아 있던 문제를 해결한다.
• 이 구성은 $\mathcal{P}(\omega)/\text{fin}$의 부분순서를 제이슬러 순서에 매립함으로써, 그 복잡성이 최대임을 보여준다.
• 비자명한 분할이 없는 새로운 단순한 불안정 이론의 가족이 구성되며, 이는 그래프 밀도 성장률을 인코딩하는 수열에 의해 매개변수화된다.
• 이러한 이론의 초수체의 포화 행동은 기반의 밀도 수열의 성장률에 따라 극명하게 달라진다.
• 불린 대수 위에 새로운 체인 조건이 도입되었으며, 이는 한 가족의 이론에 기반한 포화를 유지하고 다른 가족의 이론에서 유형을 생략하는 초수체를 구성할 수 있도록 한다.
• 초수체 구성은 비자유적이며, 레벨 함수로부터 유도된 아이디얼을 사용하여 서로 다른 이론 가족 간의 수직성을 보장한다.