[논문 리뷰] Generalized Descriptive Set Theory and Classification Theory

Sy‐David Friedman, Tapani Hyttinen외 1명|arXiv (Cornell University)|2012. 07. 18.

Advanced Topology and Set Theory참고 문헌 29인용 수 63

한 줄 요약

이 논문은 기존의 기술적 집합론을 가чёт수에서 비가чёт수 기수로 일반화하여, 비가чёт수 모델에서의 동형관계의 보렐 감소성에 대해 연구한다. 보렐 감소성이 자연스러운 모형이론적 복잡도 측도임을 입증하며, 분류 가능한 이론은 보렐 동형관계를 가지지만, 불안정하거나 초불안정인 이론은 그렇지 않음을 보이고, 비가чёт수 맥락에서 고전적 설정과의 주요 차이점을 규명한다.

ABSTRACT

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

연구 동기 및 목표

• 기존의 기술적 집합론을 $2^\omega$에서 비가чёт수 $\kappa$에 대한 일반화된 바이어리 공간과 칸토어 공간 $2^\kappa$로 확장한다.
• 비가чёт수 $\kappa$에 대해 $\kappa$-크기의 모델에서의 동형관계의 보렐 감소성이 모형이론적 복잡도를 어떻게 반영하는지 조사한다.
• 고전적 실버 이분법과 기타 기술적 집합론 원리가 비가чёт수 맥락으로 일반화되는지 여쭙는다.
• 안정성 이론적 성질(예: 안정성, 초불안정성, DOP)과 동형관계의 기술적 집합론적 복잡도 사이의 연결 고리를 명확히 한다.
• 보렐 감소성이 비가чёт수 이론, 특히 $\kappa$-크기 모델 맥락에서 자연스러운 분류 도구가 되는지 탐색한다.

제안 방법

• 비가чёт수 모델을 $2^\kappa$의 원소로 코딩하는 방식을 사용하여, 기존의 가чёт수 모델을 $2^\omega$로 코딩하는 방식을 일반화한다.
• 일반화된 에렌페히트-프라이세 게임을 적용하여, 비가чёт수 모델에서의 유형 융합과 동형관계 유형을 분석한다.
• $\kappa$-비정상적 이상과 $E_{S^\kappa_\lambda}$와 같은 등가관계와의 관계를 도입하고 분석한다.
• 무한항 논리 $L_{\kappa^+\kappa}$와 $M_{\kappa^+\kappa}$를 사용하여 일반화된 공간에서의 보렐 및 $\Delta^1_1$ 집합을 특성화한다.
• 일반화된 바이어리 공간 위상수학 기법, 특히 큐브 집합과 필터레이션을 활용하여 유일성 및 동형관계 상승 결과를 증명한다.
• 특히 $\cong_T^\kappa \leq_B \cong_{T'}^\kappa$일 때가 어떤 경우인지 분석하기 위해 등가관계 간의 감소를 사용한다.

실험 결과

연구 질문

• RQ1 비가чёт수 $\kappa$에 대해 일반화된 맥락에서 실버 이분법—모든 분석적 등가관계는 보렐이거나 $E_0$로 보렐 감소 가능하다—이 성립하는가?
• RQ2 첫 번째 순서 이론 $T$의 $\kappa$-크기 모델에서의 동형관계가 $T$가 분류 불가능하거나 불안정할 경우 보렐이 될 수 있는가?
• RQ3 보렐 동형관계가 되는 조건에 대한 모형이론적 특성화가 존재하는가? 그리고 이는 안정성, 초불안정성 또는 DOP와 같은 안정성 이론적 성질과 어떻게 관련되는가?
• RQ4 $E_{S^\kappa_\lambda}$, 즉 $\lambda$-비정상적 이상에 모odulo된 등가관계는 어떤 안정적 초불안정 이론의 동형관계로 보렐 감소 가능한가?
• RQ5 비가чёт수 $\kappa$에 대해 $2^\kappa$에서 서로 비교 불가능한 보렐 등가관계가 존재하는가? 즉, $E_1 \not\leq_B E_2$ 이면서 $E_2 \not\leq_B E_1$인가?

주요 결과

• 동형관계 $\cong_T^\kappa$가 보렐임은 $T$가 분류 가능하고 얕은 경우에 국한되며, 보렐 복잡도에 대한 정확한 모형이론적 조건을 규명한다.
• $\kappa = \omega$일 때, DLO($T_{\text{dlo}}$)의 동형관계는 무작위 그래프($T_{\text{gr}}$)의 동형관계로 보렐 감소 가능하지만, 그 역은 성립하지 않아, 복잡도의 비대칭성을 보여준다.
• 이 논문은 $\cong_T^\kappa \leq_B \cong_{T'}^\kappa$이면 $T$가 $T'$보다 복잡도 순서상 최대한 낮다는 것을 보이며, 이 순서가 비가чёт수 $\kappa$에 대해 모형이론적 복잡도와 일치함을 입증한다.
• 실버 이분법은 일반화된 맥락에서 실패한다: 비가чёт수 $\kappa$에 대해서도 보렐이 아니며 $E_0$로 보렐 감소되지 않는 분석적 등가관계가 존재한다.
• 안정적 초불안정 이론의 동형관계는 ZFC에서 $\Delta^1_1$이 아니며, 이는 더 높은 기술적 집합론적 복잡도를 암시한다.
• 논문은 특정 가정 하에 $E_{S^\kappa_\lambda}$, 즉 $\lambda$-비정상적 이상에 모odulo된 등가관계는 어떤 안정적 초불안정 이론의 동형관계로도 보렐 감소되지 않음을 증명하며, строго한 복잡도 계층을 나타낸다.