کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661563 1633438 2016 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Essential and density topologies of continuous domains
ترجمه فارسی عنوان
توپولوژی ضروری و چگالی دامنه های مستمر
کلمات کلیدی
نظریه دامنه؛ اساس؛ تراکم؛ توپولوژی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We introduce and study two topologies in order to provide a topological interpretation of bases in domain theory. The key finding is that, in a continuous domain, bases correspond exactly to dense sets of one of these new topologies. Moreover, we provide a topological interpretation for several properties of the bases, as well as novel characterizations of algebraic domains.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 9, September 2016, Pages 726–736
نویسندگان
, ,