[논문 리뷰] Relatively recursively enumerable reals

Bernard A. Anderson|arXiv (Cornell University)|2007. 05. 06.

Computability, Logic, AI Algorithms참고 문헌 3인용 수 1

한 줄 요약

이 논문은 상대적으로 재귀적으로 나열 가능한(상대적으로 r.e.) 실수의 개념을 도입하고 특성화하며, 실수 X가 상대적으로 r.e.임과 동시에 X가 자신에게 e1-환원 가능하지 않은 것과 동치임을 보여준다. 또한, 공집합이 아닌 Π⁰₁ 클래스는 항상 상대적으로 r.e.가 아닌 실수를 포함하며, 상대적으로 r.e.이지만 상대적으로 REA가 아닌 실수를 구성하고, 모든 1-일반적 실수가 상대적으로 단순하고 상위임을 증명한다.

ABSTRACT

We say that a real X is relatively r.e. if there exists a real Y such that X is r.e. (Y) and X ̸≤T Y. We say X is relatively REA if there exists such a Y ≤T X. We define A ≤e1 B if there exists a Σ1 set C such that n ∈ A if and only if there is a finite E ⊆ B with (n, E) ∈ C. In this paper we show that a real X is relatively r.e. if and only if X ̸≤e1 X. We prove that every nonempty Π 0 1 class contains a real which is not relatively r.e. We also construct a real which is relatively r.e. but not relatively REA. We say that a real X is relatively simple and above if there exists a real Y such that X is r.e. (Y) and there is no infinite Z ⊆ X such that Z is r.e. (Y). We prove that every 1-generic real is relatively simple and above. 1

연구 동기 및 목표

• 어떤 오라클에 대해 상대적으로 재귀적으로 나열 가능한(상대적으로 r.e.) 실수의 집합을 정의하고 조사하는 것.
• 상대적으로 r.e. 실수와 ≤e1 환원 가능성 간의 관계, 특히 자기 자신에 대한 환원 가능성 측면에서의 관계를 명확히 하는 것.
• Π⁰₁ 클래스 내에서 상대적으로 r.e.가 아닌 실수의 존재를 검토하는 것.
• 상대적으로 r.e. 실수와 상대적으로 REA(상대적으로 재귀적으로 나열 가능한 위상) 실수 간의 차이를 탐색하는 것.
• 1-일반적 실수와 상대적으로 단순하고 상위인 성질 간의 연결 고리 조사

제안 방법

• Σ1 집합 C를 이용해 정의된 환원 관계 ≤e1을 도입하며, n ∈ A이면 ∃ 유한집합 E ⊆ B가 존재하여 (n, E) ∈ C임을 조건으로 한다.
• 이 ≤e1 관계를 통해 상대적으로 r.e. 실수를 X ≰e1 X를 만족하는 실수 X로 특성화한다.
• 대각선화와 우선순위 논증을 적용하여 상대적으로 r.e.이지만 상대적으로 REA가 아닌 실수를 구성한다.
• 1-일반적 실수의 개념을 활용하여 상대적으로 단순하고 상위임 조건을 만족함을 보인다.
• Π⁰₁ 클래스의 구조를 활용하여 이들 내부에 상대적으로 r.e.가 아닌 실수가 존재함을 증명한다.
• 오라클에 대한 재귀적 집합 간의 상호작용과 무한한 재귀적 나열 가능한 부분집합의 부재를 분석한다.

실험 결과

연구 질문

• RQ1 어떤 오라클 Y에 대해 실수 X가 상대적으로 r.e.가 되는 조건은 X ≤T Y 이면서도 X ≰T Y일 때인가?
• RQ2 환원 가능성 ≤e1과 상대적으로 r.e.인 성질 간의 정확한 관계는 무엇인가?
• RQ3 모든 Π⁰₁ 클래스는 상대적으로 r.e.가 아닌 실수를 포함하는가?
• RQ4 상대적으로 r.e.일 수 있지만 상대적으로 REA가 아닌 실수는 존재하는가?
• RQ5 1-일반적 실수는 항상 상대적으로 단순하고 상위인가?

주요 결과

• 실수 X는 X가 자신에게 e1-환원 가능하지 않은 경우, 즉 X ≰e1 X일 때에만 상대적으로 r.e.이다.
• 공집합이 아닌 모든 Π⁰₁ 클래스는 최소한 하나의 상대적으로 r.e.가 아닌 실수를 포함한다.
• 상대적으로 r.e.이지만 상대적으로 REA가 아닌 실수가 존재함을 보여주며, 엄밀한 계층이 존재함을 입증한다.
• 모든 1-일반적 실수는 상대적으로 단순하고 상위이며, 이는 어떤 오라클에 대해 무한한 r.e. 부분집합이 존재하지 않음을 의미한다.
• 비-REA이지만 상대적으로 r.e.인 실수의 구성은 정교한 오라클 제어와 대각선화에 기반한다.
• ≤e1 환원 가능성 관계는 상대적 r.e.-성의 정확한 특성화를 제공한다.