زهرا شیخ الاسلامی - دانشجوی دکترای جبر- منطق . تبریزبلوار ۲۹ بهمن دانشگاه تبریز دانشکده ریاضی

نظريه ضرب اعداد طبيعی نظريه ای از مجموعه اعداد طبيعی با عمل ضرب است. در اين مقاله تصميم پذيری (يعنی مراحلی تصميم گيری و الگوريتمی وجود دارد که برای ھر جمله ϕ از زبان L تعيين می کند که T ⊢ ϕ يانه) بررسی می شود. برای اين منظور ھم چنين نظريه جمع اعداد طبيعی را مطالعه می کنيم و ارتباط تصميم پذيری نظريه جمع اعداد طبيعی با نظريه ضرب اعداد طبيعی را نشان خواھيم داد.

تصمیم پذیری - تمامیت - تصمیم پذیری