摘要
主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.
The authors prove that there are no maximal Ⅰ-disjunctive ω-languages and no minimal Ⅰ-disjunctive co-languages. This paper gives the definition of I-disjunctive domain and shows that it is dense.
出处
《西南师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第5期15-17,共3页
Journal of Southwest China Normal University(Natural Science Edition)