[論文レビュー] Lattice initial segments of the Turing degrees

Bjørn Kjos-Hanssen|arXiv (Cornell University)|Jan 25, 2009

Computability, Logic, AI Algorithms参考文献 9被引用数 4

ひとこと要約

この論文は、0′未満のチューリング次数における主イデアルの同型型を、Σ₀³提示を許容する有界上半ラティスであるものとして完全に同定する。PudlákテーブルとLerman風の木構成を用いた優先度論的証明により、著者は、任意のΣ₀³提示可能な有界上半ラティスが、あるg ≤ 0′に対して[0, g]に同型であることを示し、定義可能性の複雑さの観点から、これらの初期セグメントのラティス的構造を完全に特徴づける。

ABSTRACT

We characterize the isomorphism types of principal ideals of the Turing degrees below 0' that are lattices as the lattices with a Sigma-0-3 presentation, by showing that each Sigma-0-3 presentable bounded upper semilattice is isomorphic to such a principal ideal. We get a similar result for the Turing degrees below any degree above 0".

研究の動機と目的

• g ≤ 0′ であるようなチューリング次数における主イデアル[0, g]として現れる有界上半ラティスを同定すること。
• このようなイデアルが、ちょうどΣ₀³提示を許容するものであることを示すこと。
• 0′′より高い次数に対しても同定を拡張し、Σ₀²(𝑎)-提示可能なラティスが、g ≤ 𝑎 かつ g ∈ GL₂ を満たすあるgに対して[0, g]に同型であることを示すこと。
• 初期セグメントの同型型を用いて、チューリング次数におけるジャンプを保存する自己同型が0′′より上では自明であることを確立すること。
• 定義可能提示を通じて、チューリング次数階層内でのラティス構造の完全な再構成を、再帰的理論的枠組みで行うこと。

提案手法

• Lerman風の木構成を用いた戦略の優先度木を構築し、Diff、Split、および拡張可能性の木を含む。
• Pudlákテーブルと伝送メカニズムを用いて、ホモモーフィズムをシミュレートし、各段階における正しくラティスの振る舞いを保証する。
• 有限の傷害による議論を用いて、各要件（DiffおよびSplit）が状態の変化と木の指定を通じて満たされることを保証する。
• 木上の極限過程により関数gを定義し、g = limₐ αₐ とし、gがちょうど0′未満の次数であることを示す。
• 写像a ↦ g^{⟨a⟩} が、与えられたΣ₀³提示可能なラティスLと次数イデアル[0, g]との間で同型写像であることを検証する。
• 「焦点点」と「真の経路」の概念を用いて、構成の単調性と収束性を保証する。

実験結果

リサーチクエスチョン

• RQ1 g ≤ 0′ であるようなチューリング次数における主イデアル[0, g]として現れる有界上半ラティスはどれか？
• RQ2 任意のΣ₀³提示可能な有界上半ラティスが、このようなイデアルとして実現可能か？
• RQ3 ラティスの定義可能性の複雑さ（Σ₀³）と生成イデアル[0, g]の次数との関係は何か？
• RQ4 ジャンプを保存するチューリング次数の自己同型は、初期セグメントの同型型とどのように関係するか？
• RQ5 Pudlákテーブルを用いたLerman風の構成は、Δ₀³提示からΣ₀³提示へと適応可能か？

主な発見

• 任意のΣ₀³提示可能な有界上半ラティスは、あるg ≤ 0′ に対して[0, g]に同型である。
• 構成により得られる次数gは、ちょうど0′未満であることが示され、より高い複雑さは不要であることが示された。
• Lと[0, g]との間の同型写像は、a ↦ g^{⟨a⟩} によって実現され、ラティス演算を保存する。
• 結果は0′′より高い次数に対しても拡張可能である：ラティスLがΣ₀²(𝑎)-提示可能であることと、g ∈ GL₂ かつ g ≤ 𝑎 を満たすあるgに対して[0, g]に同型であることとは同値である。
• 証明により、ジャンプを保存するチューリング次数の自己同型は、0′′より上では自明であることが示された。これは、𝑎 ≥ 0′′ のとき、[0, 𝑎]の同型型が𝑎を決定するからである。
• 構成は、木の指定と伝送を用いた有限傷害戦略を用い、DiffおよびSplit要件を満たしつつ、正しさを維持する。