تعريف پذيري در درجات شمارش

اصفهان: دانشگاه صنعتي اصفهان، دانشكده رياضي

علوم رياضي

كارشناسي ارشد

در اين رساله ابتدا نظريه توابع بازگشتي (محاسبه پذير)و سپس نظريه درجات حل ناپذيري به طور خلاصه معرفي مي شوند. در ادامه ثابت مي كنيم كه هر رابطه شمارش پذير روي درجات شمارش ، C، به طور يكنواخت ، با پارامترهايي در C،تعريف پذير است . در نتيجه ، تئوري مرتبه اول C، به طور بازگشتي با حساب مرتبه دوم يكريخت است . با كمك يك صورت كارآمد از لم گذاري، نشان مي دهيم كه تئوري مرتبه اول درجات شمارش مجموعه هاي ، تميز پذير نيست

14928

رياضي محض

رياضي

دانشگاه صنعتي اصفهان

محمود بيناي مطلق

محمد اردشير، قهرمان طاهريان

مجتبي آقايي