[논문 리뷰] On what I do not understand (and have something to say), model theory

Saharon Shelah|ArXiv.org|1999. 10. 28.

Advanced Topology and Set Theory참고 문헌 49인용 수 51

한 줄 요약

이 논문은 모형 이론의 열린 문제들에 대한 개인적이고 비표준적인 탐구를 제시하며, 이는 두 기수 정리, 분할 정리 및 집합론과 조합론과의 연결 고리에 중점을 둔다. 논문은 분할 관계 내에서의 항등식을 통한 두 기수 성질의 특성화를 도입하고, $(\aleph_\omega, \aleph_0) \rightarrow (2^{\aleph_0}, \aleph_0)$ 에 대한 새로운 두 기수 정리를 증명하며, 헤일즈-지위 수와 관련된 경계를 포함한 유한 및 무한 분할 함수를 조사한다.

ABSTRACT

This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum ("See..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall '97 and reflect my knowledge then. The other half, math.LO/9906113, concentrating on set theory, is in print, but the two halves are independent. We thank A. Blass, G. Cherlin and R. Grossberg for some corrections.

연구 동기 및 목표

• ZFC에서 증명 가능한 비잔재 문제를 탐구하며, 특히 ZFC로부터의 독립성에 대한 두 기수 정리에 중점을 둔다.
• $(\lambda, \mu)$-관계 내에서의 항등식 개념을 통해 두 기수 정리와 분할 관계 간의 연결 고리를 조사한다.
• 항등식 기반 특성화를 사용하여 $(\aleph_\omega, \aleph_0) \rightarrow (2^{\aleph_0}, \aleph_0)$의 두 기수 정리를 새로운 방식으로 증명한다.
• 유한 및 무한 분할 함수를 연구하며, 그 경계와 헤일즈-지위 수와의 관계를 조사한다.
• 군 작용과 조합적 색칠에 있어서 단색 구성 요소의 존재성과 성질을 검토한다.

제안 방법

• 항등식을 통한 두 기수 정리의 특성화: $ (\lambda, \mu) \rightarrow (\lambda_1, \mu_1) $이 성립하는 것은 $ \text{Id}(\lambda, \mu) \supseteq \text{Id}(\lambda_1, \mu_1) $일 때이다.
• 나무와 선형 순서를 통한 $\text{Ded}'(\mu)$의 특성화를 사용하여, $ \text{Ded}'(\mu_2) > \mu_1 \geq \mu_2 $일 때 $ (\lambda^{+\omega}, \lambda) \rightarrow (\mu_1, \mu_2) $를 증명한다.
• 헤일즈-지위 정리와 그 다차원 변형을 적용하여 분할 함수 $ f^{10}_\Lambda(m,c) $와 $ f^9_* $를 $ HJ(|\Lambda|^m, c) $로 경계한다.
• 모든 $ c $-색칠이 어떤 $ \bar{\eta} \in \text{seq}^*_m(A) $에 대해 단색 $ \text{son}(\bar{\eta}) $를 포함하는 최소의 $ k $로 정의된 $ f^{12}(m,c) $를 정의하고 분석한다.
• 군 기반 분할 관계 $ G \rightarrow (Y,H)_{\kappa} $를 도입하며, $ Y \subseteq H $ 이고 $ \kappa $-색칠 하에서 단색 임bedding의 존재성을 연구한다.
• 복잡한 분할 문제를 나무, 수열, 순열군 등의 조합 구조로 환원하며, 특히 $ \Lambda^* $-기반 구성과 제약 사상의 방법을 사용한다.

실험 결과

연구 질문

• RQ1 기본적인 것들을 초월해, ZFC에서 증명 가능한 비잔재적 $ n $-기수 정리는 존재하는가, 아니면 모두 기수 산술 가정에 의존하는가?
• RQ2 일부 $ \lambda \geq \mu $에 대해 $ (\lambda, \mu) \nrightarrow (\lambda, \mu) $가 일관된가, 즉 $ (\lambda, \mu) $가 $ \aleph_0 $-콤팩트가 아닐 수 있는가?
• RQ3 헤일즈-지위 수에서 유도된 것보다 $ f^8, f^9, f^{10} $의 분할 함수에 대해 더 나은 경계를 제시할 수 있는가?
• RQ4 $ f^{12}(m,c) $가 모든 $ m, c $에 대해 유한한가, 즉 모든 $ c $-색칠이 어떤 $ \bar{\eta} \in \text{seq}^*_m(A) $에 대해 단색 $ \text{son}(\bar{\eta}) $를 포함하는가?
• RQ5 유한 순열군 $ H $에 대해, $ Y $가 공轭류이고 유한한 $ c $에 대해 $ G \rightarrow (Y,H)_c $를 만족하는 군 $ G $가 존재하는가, 특히 $ Y $가 고정점이 없는 원소들로 이루어져 있을 경우에 대해?

주요 결과

• $ (\aleph_\omega, \aleph_0) \rightarrow (2^{\aleph_0}, \aleph_0) $의 두 기수 정리는 $ \text{Ded}'(\mu) $를 통한 특성화를 사용하여 증명되었으며, $ \text{Ded}'(\mu_2) > \mu_1 \geq \mu_2 $일 때 성립함을 보였다.
• $ (\lambda, \mu) \rightarrow_{\kappa} (\lambda_1, \mu_1) $의 동치 조건은 $ \text{Id}(\lambda, \mu) \supseteq \text{Id}(\lambda_1, \mu_1) $이며, $ \Rightarrow $는 항상 참이고, $ \Leftarrow $는 $ \mu_1 = \mu^{\aleph_0} $와 같은 조건 하에서 참이다.
• $ f^{10}_\Lambda(m,c) $는 $ m \times HJ(|\Lambda|^m, c) $로 경계되며, 이는 헤일즈-지위 수에 비해 크게 떨어지지 않음을 보여준다.
• $ f^9_*(\Gamma)(m,c) \leq m \times HJ(|\Gamma|^m, c) $를 만족하여 유사한 성장 행동을 보임을 나타낸다.
• $ |\Lambda^*| $-차원 반 더 와르덴 정리를 통해 $ \{\bar{\ell}^*, \bar{\ell}^\alpha : \alpha \in \Lambda^* \} $의 $ d $-단색 구성 요소 존재성이 확립되었으며, 이는 $ (\aleph_\omega, \aleph_0) \rightarrow (2^{\aleph_0}, \aleph_0) $의 증명에서 핵심적 주장의 증명에 기여한다.
• $ f^{12}(m,c) $가 유한함은 모든 $ c $-색칠이 어떤 $ \bar{\eta} \in \text{seq}^*_m(A) $에 대해 단색 $ \text{son}(\bar{\eta}) $를 포함할 때에만 성립하며, 이는 군 작용과 순열 대칭성과 연결되어 있다.