中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 早期
题名:
R.E.度上半格的结构性质
作者: 眭跃飞
答辩日期: 1987
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
摘要: 我们将讨论益归可数举度构成的上半格的结构性质。首先证明存在两个非华凡区间[a_2, a_1], [b_2, b_1]使得a_1 ∩ b_1 = c_1, a_2 ∩ b_2 = c_2, 且c_1 ≠ c_2,存在枝点 c ≥ c_2, ≤ c,使得对任总两个分别属于区间[a_2, a_1], [b_2, b_1]的元素,他们的下确界(如果存在)不等于c。此外,这结论的对偶结论也成立。然后我们用manster方法证明achlan的分离性质不能与稠密性质相结合,i.e.存在两个r.e.度a < c使得c 在a上能分离且对任意c的非平凡分离,其下确界不存在,用几乎相同的方法,我们将给出Downey & Welch [1986]提出的分开问题的否定角,i.e. diamond格在r.e.度中不是稠密的。最后,我们推广Lachlan的囿界极小对定理,证明对任意非完备的a,存在b > a 合得对任意区间[a, b]中的两个元素b_0, b_1,有b_0 ∩ b_1 (如果存在)将不等于a。这样就证明了超枝上的不存在性质。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6672
Appears in Collections:中科院软件所图书馆_早期

Files in This Item:
File Name/ File Size Content Type Version Access License
N81430.pdf(1145KB)----限制开放-- 联系获取全文

Recommended Citation:
眭跃飞. R.E.度上半格的结构性质[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1987-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[眭跃飞]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[眭跃飞]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace