کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4658114 | 1633082 | 2016 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
QC-continuity of posets and the Hoare powerdomain of QFS-domains
ترجمه فارسی عنوان
QC پیوستگی posets و دامنه قدرت Hoare از دامنه های QFS
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
دامنه شبه پیوسته ؛ دامنه QFS؛ شبکه GCD؛ poset QC-مستمر؛ توپولوژی اسکات؛ دامنه قدرت
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
چکیده انگلیسی
In terms of Scott-closed sets, the concept of QC-continuous posets, a generalization of C-continuous lattices is introduced. With this new concept, the following results are obtained: (1) a complete lattice is generalized completely distributive (GCD) iff it is quasicontinuous and QC-continuous; (2) a dcpo L is quasicontinuous (resp., quasialgebraic) iff the Hoare powerdomain H(L)H(L) is quasicontinuous (resp., quasialgebraic); (3) the Hoare powerdomain H(L)H(L) of a QFS-domain L is still a QFS-domain.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 197, 1 January 2016, Pages 102–111
Journal: Topology and its Applications - Volume 197, 1 January 2016, Pages 102–111
نویسندگان
Qingyu He, Luoshan Xu, Lingyun Yang,