[논문 리뷰] A topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes

Christian Espíndola|arXiv (Cornell University)|2019. 06. 21.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 GCH와 가측 카디널의 가정 하에 추상적 초등 클래스(AECs)에 대한 셸라의 최종 분류성 추측에 대한 토포스 이론적 증명을 제공한다. 두 개의 충분히 큰 카디널에서의 분류성이 모든 그 사이의 카디널에서의 분류성으로 이어지며, 이는 최종 분류성으로 이어지며, 강화된 통합 성질이 성립할 경우 큰 카디널 가정은 제거될 수 있다.

ABSTRACT

Assuming $GCH$ and that there is a measurable cardinal, we give a topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). We also show that the large cardinal assumption can be spared assuming instead that the AEC satisfies a certain version of the amalgamation property, which together with categoricity in a high enough cardinal is actually equivalent to eventual categoricity. This improves the state of knowledge about the open problems stated by Shelah, including one for $\mathcal{L}_{\omega_1, \omega}$ sentences, dating back to the 1970's. Using results of Kueker about the axiomatization of AEC's in infinitary logic, we then use the machinery of categorical logic to study the problem of eventual categoricity. By means of a topos-theoretic characterization of $\kappa$-categorical theories, together with some results on $\kappa$-classifying toposes, we then prove under our assumptions that if an AEC is categorical in two cardinals, it is also categorical in all cardinals in between. As a corollary we get information about the categoricity spectrum of an AEC, and using Hanf numbers, we also get eventual categoricity.

연구 동기 및 목표

• 토스 이론적 방법을 사용하여 추상적 초등 클래스에 대한 셸라의 최종 분류성 추측을 증명하는 것.
• 최종 분류성 증명에 필요한 큰 카디널 가정을 줄이기 위해 그것이 강화된 통합 성질로 대체될 수 있음을 보이는 것.
• 무한항 논리와 토포스 이론적 도구를 통해 AEC의 분류 스펙트럼을 특성화하는 것.
• 두 개의 높은 카디널에서의 분류성이 그 사이의 모든 카디널에서의 분류성으로 이어진다는 것을 증명하는 것.
• 한프 수 기법을 적용하여 두 개의 충분히 큰 카디널에서의 분류성으로부터 최종 분류성을 도출하는 것.

제안 방법

• κ-분류 이론의 토포스 이론적 특성화를 활용하여 AEC에서의 분류성을 분석하는 것.
• κ-분류 토포스에 관한 결과를 활용하여 모형이론적 분류성과 범주론적 논리 간의 연결을 맺는 것.
• Kueker의 AEC의 무한항 논리에서의 공리화 작업을 적용하여 AEC를 토포스 이론적 분석에 적합한 논리적 프레임워크에 통합하는 것.
• GCH와 가측 카디널의 가정을 통해 적절한 분류 토포스의 존재를 확보하는 것.
• 강화된 통합 성질 하에서 AEC의 구조를 분석하여 큰 카디널이 필요 없도록 하는 것.
• 한프 수 기법을 적용하여 두 개의 충분히 큰 카디널에서의 분류성으로부터 최종 분류성을 유추하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 AEC에 대한 셸라의 최종 분류성 추측을 토포스 이론적 방법으로 증명할 수 있는가?
• RQ2 최종 분류성 증명에서 가측 카디널 가정을 제거할 수 있는가?
• RQ3 두 개의 충분히 큰 카디널에서의 분류성이 AEC에서 그 사이의 모든 카디널에서의 분류성으로 이어지는가?
• RQ4 κ-분류 이론의 토포스 이론적 특성화는 AEC의 분류 스펙트럼과 어떻게 관련되는가?
• RQ5 통합 성질은 최종 분류성에 대한 큰 카디널 가정을 약화시키는 데 어떤 역할을 하는가?

주요 결과

• GCH와 가측 카디널의 존재를 가정할 경우, AEC가 두 개의 충분히 큰 카디널에서 분류되면, 그 사이의 모든 카디널에서 분류된다.
• 큰 카디널 가정은 강화된 통합 성질로 대체될 수 있으며, 이는 충분히 큰 카디널에서의 분류성과 함께 최종 분류성과 동치이다.
• 두 개의 높은 카디널에서의 분류성이 그 사이의 모든 카디널에서의 분류성으로 이어지며, 이는 최종 분류성으로 이어진다.
• 주어진 가정 하에 AEC의 분류 스펙트럼은 두 개의 충분히 큰 카디널에서의 분류성에 의해 완전히 결정된다.
• 한프 수를 사용하여, 가측 카디널 가정 없이도 강화된 통합 성질이 성립할 경우 두 개의 높은 카디널에서의 분류성으로부터 최종 분류성을 도출할 수 있다.