[논문 리뷰] NIP formulas and Baire 1 definability

Karim Khanaki|arXiv (Cornell University)|2017. 03. 25.

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

한 줄 요약

이 논문은 가чёт한 구조 M에서 공식이 NIP임과, 그에 상응하는 모든 유형이 고도로 포화된 기본 확장에서 M 위에서 Baire 1 정의 가능임이 서로 동치임을 증명한다. Bourgain, Fremlin, Talagrand의 Baire 1 함수 및 폴란드 공간 내 상대적 순차적 컴팩트성에 관한 결과를 활용하여, 저자들은 함수 집합의 위상적 성질을 모형 이론적 정의 가능성으로 번역함으로써, NIP 공식에 대한 함수해석학적 시각을 제공한다.

ABSTRACT

In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $ϕ(x,y)$ the following are equivalent: (i) $ϕ(x,y)$ is NIP on $M$ (in the sense of Definition 2.1). (ii) Whenever $p(x)\in S_ϕ(M^*)$ is finitely satisfiable in $M$ then it is Baire 1 definable over $M$ (in sense of Definition 2.5).

연구 동기 및 목표

• 함수 공간의 위상적 성질을 이용하여 NIP 공식의 모형 이론적 특성화를 수립하기 위해.
• Bourgain, Fremlin, Talagrand의 결과를 모형 이론어휘로 번역하여 모형 이론과 함수해석학을 연결하기 위해.
• 가чёт한 구조에서의 유한 만족 가능성은 포화된 확장에서 Baire 1 정의 가능성을 암시함을 보여주기 위해.
• 분석을 이용한 모형 이론적 증명을 제시하여 연속 논리로의 일반화를 가능하게 하기 위해.
• 모형 이론자들이 모형 이론과 함수해석학 간의 연결 고리를 탐색하도록 동기화하기 위해.

제안 방법

• 공식과 관련된 0-1 값 함수의 집합의 상대적 순차적 컴팩트성과 NIP의 동치성을 활용한다.
• BFT78의 사실 2.3을 적용하여 Baire 1 함수에서의 상대 컴팩트성과 ℝ^X 내 순차적 컴팩트성에 대해 다룬다.
• 폴란드 공간에서 Baire 1 함수의 천사성 성질(사실 2.4)을 사용하여 수렴 성질을 보장한다.
• M 위에서의 Baire 1 정의 가능성을 aₙ ∈ M에 대해 φ(aₙ, y)의 점별 극한으로 정의한다.
• 유형 공간 S_φ(M)에서 모형 이론적 유형을 함수의 극한으로 변환하며, 폴란드 공간의 구조를 활용한다.
• 논리적 위상과 M*의 포화성을 활용하여 유형 실현과 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 가чёт한 구조 M에서 공식 φ(x,y)가 언제 NIP인가?
• RQ2 유형 p ∈ S_φ(M*)가 M에서 유한하게 만족 가능하고 M 위에서 Baire 1 정의 가능할 조건은 무엇인가?
• RQ3 C(S_φ(M))에서의 상대적 순차적 컴팩트성 성질은 NIP와 어떻게 관련되는가?
• RQ4 모형 이론에서의 유한 만족 가능성에 해당하는 기능 분석적 대응은 무엇인가?
• RQ5 NIP와 Baire 1 함수 사이의 연결 고리는 연속 논리로 일반화될 수 있는가?

주요 결과

• 공식 φ(x,y)는 가чёт한 구조 M에서 NIP이어야 하며, S_φ(M*)에 속한 모든 유형 중 M에서 유한하게 만족 가능한 것이 M 위에서 Baire 1 정의 가능해야 한다.
• 함수 집합 {φ(a,y) : a ∈ M}은 S_φ(M)에서 Baire 1 함수 공간 내에서 상대적으로 컴팩트하다면, φ는 M에서 NIP이어야 한다.
• 수열 φ(aₙ,y)의 극한은 S_φ(M)의 유형 공간에서 점별로 Baire 1 함수 ψ(y)로 수렴한다.
• 유형 p가 M에서 유한하게 만족 가능하면, p는 M 위에서 수열의 공식의 점별 극한으로 정의 가능하다.
• 이 증명은 S_φ(M)가 폴란드 공간이며, B₁(S_φ(M))가 점별 수렴에서 천사적 성질을 지닌다는 사실에 기반한다.
• 비록 모형 이론적 접근이지만, 간단한 변형을 통해 결과는 연속 논리로 일반화될 수 있으며, 이는 비고 2.7에 기재되어 있다.