کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4657945 | 1633070 | 2016 | 4 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A note on coherence of dcpos
ترجمه فارسی عنوان
یک نکته درباره انسجام dcpos
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
چکیده انگلیسی
In this note, we prove that a well-filtered dcpo L is coherent in its Scott topology if and only if for every x,y∈Lx,y∈L, ↑x∩↑y↑x∩↑y is compact in the Scott topology. We use this result to prove that a well-filtered dcpo L is Lawson-compact if and only if it is patch-compact if and only if L is finitely generated and ↑x∩↑y↑x∩↑y is compact in the Scott topology for every x,y∈Lx,y∈L.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 209, 15 August 2016, Pages 235–238
Journal: Topology and its Applications - Volume 209, 15 August 2016, Pages 235–238
نویسندگان
Xiaodong Jia, Achim Jung, Qingguo Li,