[논문 리뷰] Generalized Indiscernibles as Model-complete Theories

Cameron Donnay Hill|arXiv (Cornell University)|2012. 10. 27.

Advanced Topology and Set Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 모형이론적 프레임워크를 제시하여 레이즈먼 클래스와 일반화된 비차별성들을 통합하며, 비차별성의 이론을 모형완비 이론으로서 모형동반자에 의해 다룬다. 이는 양자화자 없는 기저를 가진 로빈슨 이론의 모형동반자가 선형 순서가 부여된 유한 구조의 프라우셰 클래스의 프라우셰 극한의 이론임을 증명하고, 순수하게 모형이론적 용어로 자동형군의 레이즈먼 성질과 극도로 아벨리안 성질의 동치를 재증명한다.

ABSTRACT

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special kinds of companionable theories of finite structures, and much of the work in our arguments is carried in the context of the model-companion. Among other things, this approach allows us to prove that the companion of a theory of indiscernibles whose "base" consists of the quantifier-free formulas is necessarily the theory of the Fraisse limit of a Fraisse class of linearly ordered finite structures (where the linear order will be at least quantifier-free definable). We also provide streamlined arguments for the result of [6] identifying extremely amenable groups with the automorphism groups of limits of Ramsey classes.

연구 동기 및 목표

• 레이즈먼 클래스와 일반화된 비차별성을 통합된 프레임워크 안에서 일관된 모형이론적 기술을 제공하기 위해.
• 비차별성의 이론을 양자화자 없는 모델링 성질(UMP)을 가진 로빈슨 이론으로 형식화하여, 이들을 구조적 레이즈먼 성질과 연결하기 위해.
• 양자화자 없는 기저를 가진 로빈슨 이론의 모형동반자가 선형 순서가 부여된 유한 구조의 프라우셰 클래스의 프라우셰 극한의 이론임을 보여주기 위해.
• 레이즈먼 성질과 자동형군의 극도로 아벨리안 성질의 동치를 순수하게 모형이론적 도구만을 사용하여 재기재하고 단순화하기 위해.
• 미래의 분류이론적 응용, 예를 들어 NIP 및 NSOP 이론을 비차별성 이론의 붕괴를 통해 특성화하는 데 기초를 마련하기 위해.

제안 방법

• 양자화자 없는 형식과 닫힌 형식으로 구성된 기저 Δ를 갖는 로빈슨 이론을 정의하고, 부울 조합, 부분형식, 변수 치환에 대해 닫혀 있음을 보장하기 위해.
• Δ-임bed딩의 개념을 도입하고, 존재적 닫힘과 Ext(T₀)의 공리화를 통해 모형동반자를 정의하여, 완전한 모형이 T₀ ∪ Ext(T₀)를 만족함을 보장하기 위해.
• 비차별성 이론 T₀의 비제약 모델링 성질(UMP)이 T₀의 유한 모형의 클래스에서의 구조적 레이즈먼 성질과 동치임을 증명하기 위해.
• 콤���트성과 유한한 레이즈먼 정리를 사용하여, 임의의 T₀-템플릿이 더 큰 모형에서 비차별성 그림을 가짐을 보여주고, UMP가 레이즈먼 성질을 유도함을 증명하기 위해.
• 스톤 공간 dual을 적용하여 자동형군의 유형 공간에 대한 작용을 재구성하고, 극도로 아벨리안 성질이 유형 공간에서 고정점의 존재와 연결됨을 보여주기 위해.
• 특정 이론, 예를 들어 선형 순서와 가장 최근 공통 조상 관계를 가진 트리에 대해 명시적인 프라우셰 극한을 구성하여, 이들이 레이즈먼 성질을 만족함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 일반화된 비차별성과 레이즈먼 클래스는 어떻게 단일한 모형이론적 프레임워크 안에서 통합될 수 있는가?
• RQ2 양자화자 없는 기저를 가진 로빈슨 이론의 모형동반자의 정확한 모형이론적 특성은 무엇인가?
• RQ3 비차별성 이론 T₀의 비제약 모델링 성질(UMP)이 T₀의 유한 모형의 클래스에서 구조적 레이즈먼 성질과 동치가 되는 조건은 무엇인가?
• RQ4 레이즈먼 성질과 자동형군의 극도로 아벨리안 성질의 동치는 어떻게 순수하게 모형이론적 도구만을 사용하여 재증명할 수 있는가?
• RQ5 프라우셰 극한은 비차별성 이론의 모형동반자를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 기저 Δ가 양자화자 없는 형식으로 이루어진 로빈슨 이론 T₀의 모형동반자는 반드시 선형 순서가 부여된 유한 구조의 프라우셰 클래스의 프라우셰 극한의 이론이어야 한다.
• 로빈슨 이론 T₀의 비제약 모델링 성질(UMP)은 T₀의 유한 모형의 클래스에서의 구조적 레이즈먼 성질과 동치이다.
• 레이즈먼 클래스의 프라우셰 극한의 자동형군은 레이즈먼 성질을 만족할 때이고 그때에만 극도로 아벨리안이며, 이는 유형 공간의 작용을 통해 보여진다.
• 선형 순서, 가장 최근 공통 조상 관계, 형제 순서를 나타내는 술어를 가진 트리의 이론 T₀는 유한 모형이 프라우셰 클래스를 이루며, 레이즈먼 성질을 만족하는 로빈슨 이론이다.
• T₀의 프라우셰 극한은 유한 순서열의 트리 위에서 귀납적인 붙임 방식으로 구성되며, 가산적이고 유한 유니버설 모형을 얻는다.
• T₀의 모형동반자 T₀*는 T₀ ∪ Ext(T₀)로 공리화되며, T₀의 모든 모형은 Δ-의미에서 완전한 모형을 만족하는 T₀*의 모형에 원소적으로 통합될 수 있다.