کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904109 1633040 2018 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Warsaw discs and semicomputability
ترجمه فارسی عنوان
دیسک های ورشو و نیمه ساز
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات هندسه و توپولوژی
چکیده انگلیسی
We examine conditions under which a semicomputable set in a computable metric space is computable. Topology plays an important role in the description of such conditions. Motivated by the known result that a semicomputable cell is computable if its boundary sphere is computable, we investigate semicomputable Warsaw discs and their boundary Warsaw circles. We prove that a semicomputable Warsaw disc is computable if its boundary Warsaw circle is semicomputable.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 239, 15 April 2018, Pages 308-323
نویسندگان
, ,