[논문 리뷰] On Guessing Whether A Sequence Has A Certain Property

Samuel Allen Alexander|arXiv (Cornell University)|2010. 11. 30.

Mathematical and Theoretical Analysis참고 문헌 4인용 수 5

한 줄 요약

이 논문은 자연수의 무한 수열 집합에 대한 '추측 가능성'의 형식적 개념을 도입하며, 유한한 초기 부분수열에 기반해 올바른 소속 결정으로 수렴할 수 있는 함수가 존재하는 집합을 추측 가능하다고 정의한다. 주요 기여는 추측 가능 집합이 보렐 계층에서 정확히 $Δ^0_2$ 집합—즉, $G_\delta$ 이자 $F_\sigma$ 인 집합—임을 증명하는 것으로, 비표준 논리 체계(성냥기호 포함)와 게임 이론적 추론을 사용한다.

ABSTRACT

A concept of "guessability" is defined for sets of sequences of naturals. Eventually, these sets are thoroughly characterized. To do this, a nonstandard logic is developed, a logic containing symbols for the ellipsis as well as for functions without fixed arity. New proofs are given for some seemingly-unrelated known results.

연구 동기 및 목표

• 무한 수열이 특정 성질을 갖는지에 대해 유한한 초기 부분수열에 기반해 '추측'하는 직관적 개념을 형식화하기 위해.
• 고전적 논리에서 결정 불가능성이 존재하더라도, 수렴 기반 전략을 사용해 어떤 수열 집합이 추측 가능할 수 있는지 규명하기 위해.
• 고정된 길이의 입력 없이 수열의 성질을 표현할 수 있도록 변수의 어림이 임의인 함수와 성냥기호를 포함한 논리 체계를 수립하기 위해.
• 추측 가능성과 보렐 계층의 $Δ^0_2$ 수준이 정확히 일치함을 증명함으로써, 계산 가능성 이론과술적 집합론 간의 연결 고리를 확립하기 위해.

제안 방법

• 임의의 유한한 어림을 가진 함수 기호와 특수한 성냥기호 $\cdots_x$를 포함한 비표준 일阶논리 체계를 도입하여, 임의의 길이의 수열을 표현한다.
• 모든 무한 수열에 대해 올바른 답으로 수렴해야 하는 '추측자' 함수 $G: \mathbb{N}^{<\mathbb{N}} \to \{0,1\}$ 를 정의한다.
• 모든 유한한 접두어가 집합에 속하는 수열과 속하지 않는 수열로 모두 연장 가능할 경우, 집합은 추측 불가능하다는 것을 보여주는 구조적 대각선화 추론(정리 1)을 적용한다.
• 보렐 계층을 활용하여, 추측 가능한 집합이 정확히 $Δ^0_2$ 집합—즉, $G_\delta$ 이자 $F_\sigma$ 인 집합—임을 증명한다. 이는 양방향의 양자화를 양자화 없는 공식에 대해 번갈아 적용하여 표현한다.
• 자연수의 무한 수열 공간 $\mathbb{N}^{\mathbb{N}}$ 의 제2가산성을 활용하여, 유한한 초기 부분수열로 정의된 기본 열린 집합의 가산 합집합으로 열린 집합를 표현한다.
• 만약 집합 $S$ 가 $Δ^0_2$ 이면, $S$ 와 그 여집합이 모두 $G_\delta$ 이므로, 수렴하는 추측자를 구성할 수 있음을 통해 추측 가능성과 $Δ^0_2$ 의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 무한 수열 집합이 유한한 초기 부분수열에 기반해 수렴하는 추측 함수로 결정될 수 있는가?
• RQ2 '전사성'이나 '무한히 많은 0을 포함하는 성질' 같은 성질들이 이러한 추측 전략으로 포괄될 수 있는가?
• RQ3 추측 가능한 집합의 논리적 복잡도는 무엇이며, 보렐 계층과 같은 고전적 계층과 어떻게 관련되어 있는가?
• RQ4 심지어 가장 표현력이 뛰어난 논리계조차도 '전사성'을 정의할 때 중첩된 양자화를 제거할 수 있는가?
• RQ5 이 추측 가능성 개념은 기존의 기술적 집합론에서의 Wadge 차수와 어떻게 비교될 수 있는가?

주요 결과

• 전사적(즉, $\mathbb{N}$ 에서 $\mathbb{N}$ 으로의 전사 함수)인 수열의 집합은, 어떤 추측자도 진동하게 만드는 대각선화 추론을 통해 추측 불가능하다.
• 무한히 많은 0을 포함하는 수열의 집합 역시 동일한 진동 조건(정리 1)으로 인해 추측 불가능하다.
• 모든 $S \subseteq \mathbb{N}^{\mathbb{N}}$ 에 대해, $S$ 가 추측 가능할 조건은 정확히 $\mathbf{\Delta}^0_2$ 집합—즉, $G_\delta$ 이자 $F_\sigma$ 인 집합—일 때이다. 이는 정확한 논리적 및 위상적 특성화를 제공한다.
• 중첩된 양자화가 없는 문장(즉, 양자화가 중첩되지 않은 전치형태)으로 정의된 임의의 집합은 추측 가능하다. 이러한 집합은 부울 연산에 대해 닫혀 있으며, $\mathbf{\Delta}^0_2$ 이다.
• '전사성'의 정의는 가장 표현력이 뛰어난 논리계 $\mathscr{L}_{\text{max}}$ 에서조차도 중첩된 양자화를 제거할 수 없으며, 그 이유는 전사 함수의 집합이 추측 불가능하기 때문이다.
• 이 결과는 Wadge의 이전 연구와 일치한다: 추측 가능성은 $\mathbf{\Delta}^0_2$ 와 동치이며, 이 동치성은 Wadge의 보조정리의 특수한 경우를 포함한다. 이는 본 연구 결과가 기술적 집합론의 기초적 중요성을 지닌다는 것을 확인한다.