[논문 리뷰] Omitting Types and the Baire Category Theorem

Christopher J. Eagle, Franklin D. Tall|arXiv (Cornell University)|2017. 10. 16.

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

한 줄 요약

이 논문은 모형 이론의 유형 생략 정리와 위상수학의 베르 범주 정리 사이에 정확한 논리-위상적 이중성을 설정하며, 어떤 논리가 고전적 유형 생략 정리를 만족함과 동시에 그에 관련된 유형 공간이 베르 공간임을 보여준다. 또한, 생략 유형 성질의 게임 이론적 변형을 도입하고, 집합론적 예시를 사용하여 이 게임 버전이 일반 논리에서 고전 버전보다 엄밀히 더 강력하다는 것을 증명함으로써, 베르 성질만으로는 일반 논리에서 전체 생략 유형 결과를 보장하지 못함을 보여준다.

ABSTRACT

The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one.

연구 동기 및 목표

• 일반적인 논리-위상적 프레임워크 내에서 유형 생략 정리와 베르 범주 정리 사이의 관계를 형식화하기.
• 추상적인 유형 공간 함자 내에서 고전적, 강력한, 게임 이론적 유형 생략 성질의 다양한 변형을 정의하고 비교하기.
• 일반 논리에서 유형 공간의 베르 성질이 고전적 유형 생략 정리를 유도하는 데 충분한가를 조사하기.
• 집합론적 위상수학을 이용한 일致한 반례를 구성하여, 게임 이론적 유형 생략 성질이 고전적 버전보다 엄밀히 더 강력함을 보여주기.
• 이러한 유형 생략 성질을 구분하는 예의 述어집합 이론적 복잡성 탐구하기.

제안 방법

• 저자들은 유한 순서수의 범주에서 위상수학적 공간과 연속적인 개방 사상의 범주로 가는 반대함수로, 약한 융합 조건을 만족하는 유형 공간 함자를 정의한다.
• 주어진 위상수학적 공간 $X$에 대해, 그의 1-유형 공간이 $X$가 되는 유형 공간 함자를 구성함으로써, 논리적 성질로 위상수학적 성질를 번역할 수 있도록 논리를 정의한다.
• 베르 범주와 반나절 게임 조건을 기반으로, 고전적(OTT), 강력한(sOTT), 게임 이론적(gOTT)의 세 가지 유형 생략 성질을 정의한다.
• 예를 들어, 비-베르 제곱을 가진 베르 공간이나 칸토어 집합 내 $oldsymbol{ u}$-집합의 여집합 등, 집합론적 위상수학에서 알려진 예를 사용하여, 베르 성질은 유지되지만 고전적 OTT는 실패하는 유형 공간 함자를 구성한다.
• 특히, 가산 곱과 개방 부분공간에서의 공분석성 보존 결과를 활용하여, 공분석적 유형 공간의 경우 게임 및 강력한 유형 생략 성질이 동일하다는 것을 보여준다.
• 강제법과 독립성 결과를 적용하여, 공간이 베르 공간이지만 게임 이론적 성질이 고전적 성질과 일致하지 않는 경우가 존재함을 보여주며, 이는 일반 논리에서의 일관성에 기반한다.

실험 결과

연구 질문

• RQ1 유형 공간 함자에 대한 어떤 위상수학적 조건이 고전적 유형 생략 정리를 보장하는가?
• RQ2 유형 공간의 베르 성질이 주어진 비주류 유형을 생략하는 모델의 존재를 보장하는 데 충분한가?
• RQ3 일부 논리 체계에서 게임 이론적 변형의 유형 생략 성질이 고전적 버전보다 엄밀히 더 강력한가?
• RQ4 게임 및 고전적 유형 생략 성질을 구분하는 위상수학적 공간의 述어집합 이론적 복잡성은 무엇인가?
• RQ5 게임 및 강력한 유형 생략 성질을 분리하는 정의 가능한(예: 공분석적 또는 프로젝티브) 예가 존재하는가?

주요 결과

• 고전적 유형 생략 정리는 어떤 논리가 그에 관련된 유형 공간이 베르 공간이면 성립한다.
• 게임 이론적 유형 생략 성질은 고전적 성질보다 엄밀히 더 강력하며, 이는 $X$가 베르 공간이지만 $X^ u$는 베르 공간이 아닌 예를 구성함으로써 입증된다. 이 경우, 게임 성질은 성립하지만 고전적 성질은 실패한다.
• 일致한 반례가 존재한다. 특히, 칸토어 집합 내 $ u$-집합의 여집합에서 유도된 유형 공간 함자들로, 공간은 베르 공간이지만 고전적 유형 생략 성질은 실패한다.
• 공분석적 유형 공간의 경우, 게임 이론적 성질과 강력한 성질이 동치이다. 이는 완전히 베르인 공분석적 집합이 완전한 거리화 가능하기 때문이다.
• 이러한 반례의 존재는 ZFC와 일치하며, 비가산 필터, 예를 들어 비가측성 없는 멕너 필터 등 프레셰 필터를 확장한 필터를 사용하여 구성할 수 있다.
• 결과적으로, 유형 공간의 述어집합 이론적 복잡성(예: 공분석적 또는 프로젝티브)이 더 강력한 유형 생략 성질이 성립하는지 여부를 결정하는 데 핵심적인 역할을 한다.