[논문 리뷰] Externally definable sets and dependent pairs II

Artem Chernikov, Pierre Simon|arXiv (Cornell University)|2012. 02. 13.

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

한 줄 요약

이 논문은 NIP(의존적) 이론에 대한 모형 이론적 이해를 발전시켜, 유한 집합 위에서 유형의 균일 정의 가능성과 모형 위에서의 비분할 공식의 경우들이 유한한 수의 불변 유형에 의해 커버될 수 있음을 증명한다. 또한, 작은 비구별적 수열을 이름 붙이면 NIP가 유지되지만, 큰 수열을 이름 붙이면 유지되지 않으며, 특히 거리 이론에서 유계성 조건을 기술하는 데 사용되는 dnfcp’ 조건을 도입하여, 이론을 문맥 기반으로 확장할 때 NIP가 유지되는 조건을 제공한다.

ABSTRACT

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of non-forking instances of a formula (with parameters ranging over a type-definable set) can be covered with finitely many invariant types; we give some criteria for the boundedness of an expansion by a new predicate in a distal theory; naming an arbitrary small indiscernible sequence preserves NIP, while naming a large one doesn't; there are models of NIP theories over which all 1-types are definable, but not all n-types.

연구 동기 및 목표

• NIP 이론에서 유한 집합 위에서 유형의 균일 정의 가능성(UDTFS)을 확립하여 Laskowski의 추측을 확인한다.
• 모형 위에서 공식의 비분할 경우들에 대한 구조를 분석하여, 이들이 유한한 수의 전역 불변 유형에 의해 커버될 수 있음을 보인다.
• 특히 거리 이론과 안정적으로 통합된 설정에서, 문맥 확장에 의한 이론의 유계성에 대한 충분조건을 제공한다.
• 비구별적 수열을 이름 붙일 때 NIP의 유지 여부를 명확히 하여, 작은 수열과 큰 수열 간의 차이를 밝힌다.
• NIP 이론에서 1-유형의 정의 가능성은 n-유형의 정의 가능성으로 일반화되는가를 조사하며, 모형에 대해 Marker-Steinhorn 유형의 정리들을 일반화한다.

제안 방법

• Alon-Kleitman과 Matoušek의 (p,k)-정리를 활용하여, NIP 이론에서 외부적으로 정의 가능한 집합에 대한 균일 진실 정의를 확립한다.
• 콤���트성과 조합론적 추론을 적용하여, 유한 집합 위에서 유형의 균일 정의 가능성을 도출한다.
• [CK12]의 NIP 이론에서의 분할에 관한 결과와 균일 진실 정의를 결합하여, 비분할 경우의 유한한 커버링이 불변 유형에 의해 가능함을 보인다.
• 확장된 문맥에서의 유계성을 특징짓기 위해, 정의 가능한 매개변수 집합에 대한 약화된 유한 커버 성질(dnfcp’) 조건을 도입한다.
• 유도된 구조에서 안정적으로 통합됨, 불변성, 유도된 구조에서의 기수 제거와 같은 모형 이론적 개념을 사용하여 이름 붙인 부분집합의 유도된 구조를 분석한다.
• Pillay의 1-안정적으로 통합된 집합에 대한 증명을 변형하여, 균일 (1,∞)-안정적으로 통합된 모형 위에서의 유형의 균일 정의 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 NIP 이론에서 유한 집합 위에서 유형이 균일하게 정의 가능한가? 이는 Laskowski의 추측을 확인하는 것이다.
• RQ2 유형 정의 가능한 집합 위에서 매개변수화된 공식의 비분할 경우들 가족은 유한한 수의 전역 M-불변 유형에 의해 커버될 수 있는가?
• RQ3 거리 NIP 이론에 문맥을 추가로 확장할 때, NIP와 유계성이 유지되는 조건은 무엇인가?
• RQ4 작은 비구별적 수열을 이름 붙이면 NIP가 유지되며, 큰 수열을 이름 붙이면 어떤 일이 발생하는가?
• RQ5 모형 위에서 모든 1-유형이 정의 가능하다면, 모든 n-유형도 정의 가능하다고 할 수 있는가?

주요 결과

• 모든 NIP 이론에서 유한 집합 위의 유형은 균일하게 정의 가능하다(UDTFS), 이는 Laskowski의 추측을 확인한다.
• 모형 위에서, 유형 정의 가능한 집합 위에서 매개변수화된 공식의 비분할 경우들 가정은 유한한 수의 전역 M-불변 유형에 의해 커버될 수 있다.
• 작은 비구별적 수열(임의의 순서 유형)을 이름 붙이면 NIP가 유지되며, 이는 유계 확장이 된다.
• 큰 비구별적 수열을 이름 붙이면 NIP가 유지되지 않으며, 이 확장은 유계적이지 않다.
• 모든 1-유형이 정의 가능한 NIP 이론의 모형이 존재하지만, 모든 n-유형이 정의 가능하지는 않다. 이는 1-유형의 정의 가능성에서 n-유형의 정의 가능성으로의 일반화가 성립하지 않음을 보여준다.
• 모형이 균일하게 (1,∞)-안정적으로 통합되어 있고, 유도된 구조가 rosy라면, 이는 균일하게 안정적으로 통합된 것으로 간주되며, 이는 Marker-Steinhorn 정리를 NIP 이론으로 일반화한 것이다.