کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4658593 | 1633104 | 2014 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Consistent Smyth powerdomains
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Consistent Smyth powerdomains Consistent Smyth powerdomains](/preview/png/4658593.png)
چکیده انگلیسی
In this paper, we will introduce a new powerdomain called the consistent Smyth powerdomain, which is a free algebra over a continuous dcpo with a partial continuous binary operator that delivers greatest lower bounds (meets) for pairs of elements with an upper bound (consistent pairs) and it thus called consistent meet operator (denoted by ∧↑∧↑). We will show by methods of topology and order theory that the consistent Smyth powerdomain over a continuous dcpo exists and is a continuous dcpo-∧↑∧↑-semilattice. Moreover, if a continuous dcpo is Lawson compact or algebraic, then its consistent Smyth powerdomain is a Lawson compact continuous L -domain or an algebraic dcpo-∧↑∧↑-semilattice.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 173, 15 August 2014, Pages 264–275
Journal: Topology and its Applications - Volume 173, 15 August 2014, Pages 264–275
نویسندگان
Yayan Yuan, Hui Kou,