کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4658114 1633082 2016 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
QC-continuity of posets and the Hoare powerdomain of QFS-domains
ترجمه فارسی عنوان
QC پیوستگی posets و دامنه قدرت Hoare از دامنه های QFS
کلمات کلیدی
دامنه شبه پیوسته ؛ دامنه 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
نویسندگان
, , ,