[논문 리뷰] Model Theory for theta-Complete Ultrapowers

Saharon Shelah|arXiv (Cornell University)|2013. 03. 21.

Advanced Algebra and Logic참고 문헌 2인용 수 5

한 줄 요약

이 논문은 $ \theta $가 컴팩트 카디널일 때, $ L_{\theta,\theta}(\tau) $에서의 완전 이론에 대한 모델 이론을 개발하며, $ \theta $-완전 초곱에 중점을 두고 있다. 이는 두 가지 다른 안정성 개념을 사용하여 초곱이 포화된 이론들을 특성화하고, $ L^1_{<\theta} $ 논리와의 연결을 설정하며, 두 모델이 $ L^1_{<\theta} $-동치일 조건을, $ \theta $-완전 초필터의 $ \omega $-시퀀스를 따라 반복 초곱이 동형임으로 특성화함을 증명한다.

ABSTRACT

We would like to develop model theory for T, a complete theory in L_{theta,theta}(tau) when theta is a compact cardinal. We have bare bones stability theory and it seemed we can go no further. Dealing with ultrapowers (and ultraproducts) naturally we restrict ourselves to D a theta-complete ultrafilter on I, probably (I,theta)-regular. The basic theorems work and can be generalized (like Los theorem), but can we generalize deeper parts of model theory? In particular, can we generalize stability enough to generalize [Sh:c, Ch. VI]? Let us concentrate on saturated in the local sense (types consisting of instances of one formula). We prove that at least we can characterize the T's (of cardinality 2^kappa +|T| in each of the following two senses. One is generalizing Keisler order which measures how saturated are ultrapowers. Another asks: Is there an L_{theta,theta}-theory T_1 supseteq T of cardinality |T| + 2^theta such that for every model M_1 of T_1 of cardinality > lambda, the tau(T)-reduct M of M_1 is lambda^+-saturated. Moreover, the two versions of stable used in the characterization are different. Further we succeed to connect our investigation with the logic L^1_{< theta} introduced in [Sh:797] proving it satisfies several parallel of classical theorems on first order logic, strengthening the thesis that it is a natural logic. In particular, two models are L^1_{<theta}-equivalent iff for some omega-sequence of theta-complete ultrafilters, the iterated ultra-powers by it of those two models are isomorphic.

연구 동기 및 목표

• $ \theta $가 컴팩트 카디널일 때 $ L_{\theta,\theta}(\tau) $-이론에 안정성 이론을 확장하기.
• $ \theta $-완전 초필터에 의한 초곱의 포화 성질 조사하기.
• $ L_{\theta,\theta} $-이론에서 포화도를 측정하기 위해 키슬러 순서를 일반화하기.
• $ |T| + 2^\theta $의 크기를 가진 이론 $ T_1 \supseteq T $가 존재하여, 모든 크기가 $ \lambda $를 초월하는 모델의 $ \tau(T) $-재구성이 $ \lambda^+ $-포화됨을 보장하는지 확인하기.
• $ L^1_{<\theta} $ 논리와 반복 초곱을 통한 모델 이론적 성질 간의 연결 고리 설정하기.

제안 방법

• $ \theta $-정규 색인 집합 위의 $ \theta $-완전 초필터를 사용하여 초곱을 구성하고, 그들의 포화도를 분석하기.
• 클래식한 모델 이론 결과(예: 로스 정리)를 $ L_{\theta,\theta} $ 설정으로 일반화하기.
• 단일 공식으로 정의된 유형의 국소적 포화도에 맞게 조정된 두 가지 다른 안정성 개념을 도입하기.
• $ |T| + 2^\theta $의 크기를 가진 $ L_{\theta,\theta} $-이론 $ T_1 $를 구성하여, 그 모델의 재구성이 $ \lambda^+ $-포화됨을 보장하기.
• $ \theta $-완전 초필터의 $ \omega $-시퀀스를 따라 반복 초곱의 동형성으로 $ L^1_{<\theta} $-동치를 특성화하기.
• [Sh:797]의 결과를 활용하여 $ L^1_{<\theta} $에 대해 고전 정리의 유사체를 증명하기.

실험 결과

연구 질문

• RQ1 $ \theta $가 컴팩트일 때, $ L_{\theta,\theta}(\tau) $에서의 안정성 이론은 기초적인 결과를 넘어서 일반화될 수 있는가?
• RQ2 $ \theta $-완전 초필터에 대해 어떤 조건에서 모델의 초곱이 $ \lambda^+ $-포화되는가?
• RQ3 $ |T| + 2^\theta $의 크기를 가진 이론 $ T_1 \supseteq T $가 존재하여, 크기가 $ \lambda $를 초월하는 모든 모델의 $ \tau(T) $-재구성이 $ \lambda^+ $-포화되는가?
• RQ4 이론의 특성화에 사용된 두 가지 다른 안정성 개념은 상호간에 어떻게 관련되어 있으며, 포화도와 어떻게 연결되는가?
• RQ5 $ L^1_{<\theta} $의 모델 이론적 의의는 무엇이며, 반복 초곱과는 어떻게 관련되는가?

주요 결과

• 논문은 두 가지 다른 안정성 개념을 사용하여, 초곱이 포화되는 $ L_{\theta,\theta} $-이론을 특성화하며, 그 중 하나는 키슬러 순서를 일반화한다.
• 크기가 $ |T| + 2^\theta $인 이론 $ T_1 \supseteq T $의 존재를 증명하며, 이 이론의 모든 크기가 $ \lambda $를 초월하는 모델의 $ \tau(T) $-재구성이 $ \lambda^+ $-포화됨을 보장한다.
• $ L^1_{<\theta} $ 논리는 고전적인 모델 이론 정리의 유사체를 만족하여, 자연스러운 무한논리로써의 지위를 강화한다.
• 두 모델이 $ L^1_{<\theta} $-동치일 조건은, $ \theta $-완전 초필터의 $ \omega $-시퀀스를 따라 반복 초곱이 서로 동형임과 정확히 일치한다.
• $ L^1_{<\theta} $-동치와 반복 초곱 간의 연결은 이 무한논리 설정에서의 원소적 동치를 새롭게 특성화한다.
• 결과적으로, 기초적인 초곱 정리 외에도 더 깊은 모델 이론적 구조가 $ \theta $가 컴팩트일 때 $ L_{\theta,\theta} $로 일반화될 수 있음을 보여준다.