[논문 리뷰] The isomorphism relation of theories with S-DOP

Miguel Moreno|arXiv (Cornell University)|2018. 03. 21.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 일반화된 Baire 공간 $κ^\u03ba$ 내에서 일阶 논리 이론의 모델에 대한 동형관계의 Borel 감소 가능성을 조사한다. 비가산 $κ$에 대해, 분류 가능한 이론 $T$의 모델 간 동형관계는 S-DOP를 가진 초안정 이론 $T'$의 모델 간 동형관계로 Borel 감소 가능하다. 또한 이러한 $T'$에 대한 동형관계가 $Σ_1^1$-완전임을 일관성 있게 보여준다.

ABSTRACT

We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with S-DOP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. In fact we show the consistency of the following: If $T$ is a superstable theory with S-DOP, then the isomorphism of models of $T$ is $\Sigma_1^1$-complete.

연구 동기 및 목표

• 일반화된 Baire 공간 $κ^\u03ba$ 내에서 일阶 논리 이론의 모델에 대한 동형관계의 복잡도를 분석한다.
• 분류 가능한 이론의 모델 간 동형관계와 S-DOP를 가진 초안정 이론의 모델 간 동형관계 사이의 상대적 Borel 감소 가능성을 규명한다.
• S-DOP를 가진 초안정 이론의 동형관계가 $Σ_1^1$-완전임에 대한 일관성 강도를 조사한다.

제안 방법

• 비가산 카디널 $κ$에 대해 일반화된 Baire 공간 $κ^\u03ba$ 내에서 Borel 감소 가능성의 프레임워크를 활용한다.
• 특히 S-DOP(Superstability with DOP) 조건을 적용하여 모델 복잡도를 특성화하는 모델 이론적 분류 이론을 적용한다.
• 특히 $κ$가 비가산임을 가정하여 강력한 기수 가정과 함께 강도를 확보하기 위해 포스팅과 기수 가정을 활용한다.
• 분류 가능한 이론의 모델 간 동형관계에서 S-DOP 이론의 모델 간 동형관계로의 Borel 감소를 구성한다.
• 기수 구조의 맥락에서 기술적 집합 이론을 활용하여 동형관계의 논리적 복잡도를 분석한다.
• 비가산 기수를 가정할 때, S-DOP를 가진 초안정 이론의 모델 간 동형관계가 $Σ_1^1$-완전임을 일관성 있게 확립한다.

실험 결과

연구 질문

• RQ1 일반화된 Baire 공간 내에서 분류 가능한 이론의 모델 간 동형관계는 S-DOP를 가진 초안정 이론의 모델 간 동형관계로 Borel 감소 가능한가?
• RQ2 적절한 집합론적 가정 하에 S-DOP를 가진 초안정 이론의 모델 간 동형관계가 $Σ_1^1$-완전임을 입증할 수 있는가?
• RQ3 S-DOP 이론의 동형관계가 $Σ_1^1$-완전임에 대한 일관성 확보에 있어 비가산 기수 가정이 수행하는 역할은 무엇인가?
• RQ4 S-DOP 조건은 기수 맥락에서 동형관계의 복잡도에 어떻게 영향을 미치는가?
• RQ5 안정성과 DOP와 같은 분류 이론적 성질은 동형관계의 Borel 감소 가능성에 어떤 영향을 미치는가?

주요 결과

• 비가산 기수 $κ$에 대해, 분류 가능한 이론의 모델 간 동형관계는 S-DOP를 가진 초안정 이론의 모델 간 동형관계로 Borel 감소 가능하다.
• S-DOP를 가진 초안정 이론의 모델 간 동형관계는 비가산 기수를 가정할 경우 $Σ_1^1$-완전임을 일관성 있게 가질 수 있다.
• Borel 감소 가능성 결과는 일반화된 Baire 공간 $κ^\u03ba$ 내에서 성립하며, 고전 결과를 비가산 맥락으로 확장한다.
• S-DOP 조건은 $Σ_1^1$-완전성 결과를 가능하게 하여, 이러한 이론들이 복잡도 면에서 다른 이론들과 구별된다.
• $Σ_1^1$-완전성의 일관성은 ZFC 내에서 증명될 수 없으며, 포스팅과 기수 가정을 통해 확립된다.
• 결과들은 주어진 가정 하에 S-DOP 이론이 최대 복잡도를 갖는다는 계층적 복잡도의 존재를 보여준다.