کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655974 | 685234 | 2005 | 50 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The first paper published on Stone Duality showed that the overt discrete objects (those admitting â and = internally) form a pretopos, i.e. a category with finite limits, stable disjoint coproducts and stable effective quotients of equivalence relations. Using an N-indexed least fixed point axiom, here we show that this full subcategory is an arithmetic universe, having a free semilattice (“collection of Kuratowski-finite subsets”) and a free monoid (“collection of lists”) on any overt discrete object. Each finite subset is represented by its pair (â¡, â) of modal operators, although a tight correspondence with these depends on a stronger Scott-continuity axiom. Topologically, such subsets are both compact and open and also involve proper open maps. In applications of ASD this can eliminate lists in favour of a continuation-passing interpretation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 122, 7 March 2005, Pages 247-296
Journal: Electronic Notes in Theoretical Computer Science - Volume 122, 7 March 2005, Pages 247-296
نویسندگان
Paul Taylor,