《可計算枚舉度與d.c.e.度之間的結構性質交叉研究》是依託北京師範大學，由王慎玲擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：可計算枚舉度與d.c.e.度之間的結構性質交叉研究
- 依託單位：北京師範大學
- 項目負責人：王慎玲
- 項目類別：青年科學基金項目
項目摘要,結題摘要,
項目摘要
度論是可計算性理論的核心研究領域之一，其目的是了解與相對可計算性有關的各種概念所產生的度的度結構性質。其中，有關c.e.度中的branching，nonbranching性質的研究已經相對徹底，湧現了很多著名的研究成果。然而d.c.e. 度中的branching 和nonbranching性質並沒有得到很全面的研究，雖然也出現了很多重要的研究成果，但仍然存在一些有意思的問題有待挖掘。我們將結合high/low hierarchy對d.c.e. 度中的branching性質做更深入的研究探索, 包括low2 c.e. 度和low2 d.c.e. 度與branching性質的交疊研究，以及與度論中continuity性質相關的探索。本課題的研究將為我們透徹了解c.e.度和d.c.e. 度的結構性質以及它們之間的結構關係提供新的線索和依據。
結題摘要
本項目的研究目標是進一步探索可計算枚舉（c.e.）度和d.c.e.度的結構性質以及它們之間的結構關係。可計算枚舉（c.e.）度和d.c.e.度是兩種非常重要的度結構，它們的度結構性質研究吸引了大批研究者的關注，湧現了很多著名的結果。我們結合high/low hierarchy對d.c.e.度中的branching性質做了更深入的研究探索,包括low2 c.e.度和low2 d.c.e.度與branching性質的相關研究，證明了存在兩個low2 c.e.度a
