[논문 리뷰] Model-theoretic properties of ultrafilters built by independent families of functions

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|2012. 08. 13.

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

한 줄 요약

이 논문은 함수의 독립적 가닥을 통해 구성된 초필터의 모형 이론적 이해를 발전시켜, 탄력성은 안정 이론의 포화를 암시하고, 불안정 이론의 포화를 막는 구조적 장애물을 규명한다. 불안정 이론의 포화를 이루지 못하고 랜덤 그래프 유형을 생략하는 초필터를 구축하며, 완전한 포화 없이 대칭 컷을 실현함으로써 킬슬러 순서와 집합론적 구성법과 모형 이론적 포화 성질 간의 상호작용에 대한 오랜 숙제를 해결한다.

ABSTRACT

Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We begin by showing that any flexible regular ultrafilter makes the product of an unbounded sequence of finite cardinals large, {thus} saturating any stable theory. We then prove directly that a "bottleneck" in the inductive construction of a regular ultrafilter on $λ$ (i.e. a point after which all antichains of $P(λ)/D$ have cardinality less than $λ$) essentially prevents any subsequent ultrafilter from being flexible, {thus} from saturating any non-low theory. The paper's three main constructions are as follows. First, we construct a regular filter $D$ on $λ$ so that any ultrafilter extending $D$ fails to $λ^+$-saturate ultrapowers of the random graph, {thus} of any unstable theory. The proof constructs the omitted random graph type directly. Second, assuming existence of a measurable cardinal $κ$, we construct a regular ultrafilter on $λ> κ$ which is $λ$-flexible but not $κ^{++}$-good, improving our previous answer to a question raised in Dow 1975. Third, assuming a weakly compact cardinal $κ$, we construct an ultrafilter to show that $\lcf(\aleph_0)$ may be small while all symmetric cuts of cofinality $κ$ are realized. Thus certain families of pre-cuts may be realized while still failing to saturate any unstable theory.

연구 동기 및 목표

• 독립적 함수 가닥을 이용한 초필터 구축의 모형 이론적 정밀도를 높이기 위해.
• 초필터가 불안정 이론을 포화시킬 수 있는지 여부를 규명하기 위해.
• 킬슬러 순서에서 컷 실현, 포화, 대규모 기수 가정 간의 관계에 대한 열린 질문을 해결하기 위해.
• 특히 랜덤 그래프와 선형 순서와 관련하여 특정 조합의 포화 및 유형 실현 성질을 갖는 초필터를 구축하기 위해.
• 독립적 가닥 방법이 불안정 이론의 완전한 포화를 달성하는 데에서 겪는 한계를 조사하기 위해.

제안 방법

• 저자들은 대규모 기수 위에서 독립적 함수 가닥을 이용해 필터와 초필터를 구성하며, 그 조합적 구조를 활용해 모형 이론적 성질를 제어한다.
• 모든 λ-탄력성 초필터는 μ(𝒟) = 2^λ를 만족해야 하며, 이는 모든 안정 이론의 포화를 암시한다.
• 핵심 기법은 '장애물'을 식별하는 것으로, 독립적 가닥의 범위가 인덱스 집합보다 작아지는 경우 발생하며, 이는 탄력성과 따라서 비저하 이론의 포화를 차단한다.
• 랜덤 그래프 유형을 생략하는 필터의 구축은 생략된 유형을 필터의 생성 집합에 직접 통합함으로써 이루어진다.
• 저자들은 극성화된 분할 관계와 대규모 기수 가정(가측 기수 및 약한 컴팩트 기수)을 사용해, 완전한 포화 없이 대칭 컷을 실현하는 초필터를 구축한다.
• 필터의 구축에서 승법적 개선과 순서수 초월 귀납법을 활용해 최종 초필터의 원하는 성질을 보장한다.

실험 결과

연구 질문

• RQ1 독립적 가닥을 통해 구성된 초필터가 불안정 이론을 포화시키지 못하는 조건은 무엇인가?
• RQ2 주어진 코finality에서 모든 대칭 컷을 실현하지만 불안정 이론을 포화시키지 않는 초필터는 존재할 수 있는가?
• RQ3 탄력성, 안정 이론의 포화, 초필터 모듈로의 유계 수열의 곱의 크기 사이의 정확한 관계는 무엇인가?
• RQ4 정규 초필터가 λ-탄력적일 수는 있지만 κ++-좋은 성질을 갖지 못할 수 있으며, 이는 킬슬러 순서에 어떤 영향을 미치는가?
• RQ5 대규모 기수 가정은 컷 실현과 선형 순서의 초곱에서 ω의 코finality에 어떤 영향을 미치는가?

주요 결과

• 모든 λ-탄력성 초필터는 μ(𝒟) = 2^λ를 만족해야 하며, 이는 모든 안정 이론의 포화를 암시한다.
• 독립적 가닥 구축 과정에서 장애물이 발생하면(특히 가닥의 범위가 λ보다 작아지면), 이후 초필터는 탄력성을 갖지 못하므로 비저하 이론의 포화도 불가능하다.
• λ 위의 정규 필터 𝒟를 구성할 수 있으며, 이에 확장되는 어떤 초필터도 랜덤 그래프 유형을 포화시키지 못하므로 불안정 이론의 포화도 불가능하다.
• 가측 기수 κ를 가정할 경우, λ ≥ κ⁺ 위에 존재하는 정규 초필터가 있으며, 이는 λ-탄력적이나 κ⁺⁺-좋은 성질을 갖지 않으며, 이는 다우(1975)의 질문에 답한다.
• 약한 컴팩트 기수 κ를 가정할 경우, λ 위의 정규 초필터 𝒟가 존재하여 lcf(ℵ₀, 𝒟) = θ < κ 이지만 (ℕ,<)λ/𝒟에는 (κ,κ)-컷이 존재하지 않으며, 이는 컷 실현이 불안정 이론의 포화를 암시하지는 않음을 보여준다.
• 구축 과정은 일부 사전-컷 가닥이 실현되지만 여전히 어떤 불안정 이론의 포화도 이루어지지 않음을 보여주며, 이는 모형 이론적 통찰을 도전한다.