递归可枚举度的强分解定理  

作　　者：李昂生[1] 

机构地区：[1]云南师范大学数学系,昆明650092

出　　处：《数学学报（中文版）》1992年第2期251-256,共6页Acta Mathematica Sinica：Chinese Series

摘　　要：本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-cappable 度不作成理想.同时可推出:对任 r.e.度(?),存在 r.e.度(?),(?)和(?)使得(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?)有(?).这是 r.e.度分解的一个临界性结果.

关 键 词：递归可枚举度 强分解定理 

分 类 号：O141.3[理学—数学]