کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
424054 | 685329 | 2009 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Extending Algebraic Operations to D-Completions
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
In this article we show how separately continuous algebraic operations on T0-spaces and the laws that they satisfy, both identities and inequalities, can be extended to the D-completion, that is, the universal monotone convergence space completion. Indeed we show that the operations can be extended to the lattice of closed sets, but in this case it is only the linear identities that admit extension. Via the Scott topology, the theory is shown to be applicable to dcpo-completions of posets. We also explore connections with the construction of free algebras in the context of monotone convergence spaces.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 249, 8 August 2009, Pages 93-116
Journal: Electronic Notes in Theoretical Computer Science - Volume 249, 8 August 2009, Pages 93-116