[论文解读] Relatively recursively enumerable reals

Bernard A. Anderson|arXiv (Cornell University)|May 6, 2007

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-泛在实数与“相对简单且高于”这一性质之间的联系。

提出的方法

• 引入归约关系 ≤e1，其定义基于 Σ1 集合 C，使得 n ∈ A 当且仅当存在有限集合 E ⊆ B 满足 (n, E) ∈ C。
• 利用此 ≤e1 关系将相对 r.e. 实数刻画为满足 X ≰e1 X 的那些实数 X。
• 应用对角化和优先级论证，构造一个相对 r.e. 但非相对 REA 的实数。
• 应用 1-泛在性的概念，证明其满足“相对简单且高于”的条件。
• 利用 Π⁰₁ 类的结构，证明其内部存在非相对 r.e. 实数。
• 分析相对于预言机的递归可枚举集合与不存在无限递归可枚举子集之间的相互作用。

实验结果

研究问题

• RQ1 在什么条件下，一个实数 X 相对于某个预言机 Y 是相对 r.e. 的，即满足 X ≤T Y 但 X ≰T Y？
• RQ2 归约关系 ≤e1 与“相对 r.e.”性质之间的确切关系是什么？
• RQ3 所有 Π⁰₁ 类是否都包含非相对 r.e. 的实数？
• RQ4 一个实数能否是相对 r.e. 但不是相对 REA？
• RQ5 1-泛在实数是否总是相对简单且高于某类？

主要发现

• 一个实数 X 是相对 r.e. 当且仅当 X 不可 e1-归约到自身，即 X ≰e1 X。
• 每个非空 Π⁰₁ 类都至少包含一个非相对 r.e. 的实数。
• 存在一个实数是相对 r.e. 但不是相对 REA，这表明存在严格的层级结构。
• 每个 1-泛在实数都是相对简单且高于某类，意味着其相对于某个预言机不存在无限递归可枚举子集。
• 构造一个非 REA 但相对 r.e. 的实数，依赖于对预言机的精细控制和对角化技术。
• ≤e1 归约关系为相对 r.e.-性提供了精确的刻画。