সহ-ব্যাখ্যাযোগ্যতা

টেমপ্লেট:Multiple issues গাণিতিক যুক্তিতে, সহ-ব্যাখ্যাযোগ্যতা হলো আনুষ্ঠানিক তত্ত্বে একটি বাইনারি সম্পর্ক: একটি আনুষ্ঠানিক তত্ত্ব $T$ অন্য একটি তত্ত্ব $S$ এ ব্যাখ্যাযোগ্য, যখন $S$ এর ভাষা $T$ এর ভাষায় এমনভাবে অনুবাদ করা যেতে পারে যে $S$ প্রতিটি সূত্রকে প্রমাণ করে যার অনুবাদ $T$ এর একটি উপপাদ্য। সূত্রগুলির যৌক্তিক কাঠামো সংরক্ষণের জন্য এখানে "অনুবাদ" করা প্রয়োজন।

এই ধারণাটি, দ্বৈত ব্যাখ্যার অর্থে, জাপারিডজে (১৯৯৩) দ্বারা প্রবর্তিত হয়েছিল, যিনি আরও প্রমাণ করেছিলেন যে, পেনো গাণিতিক তত্ত্ব এবং কার্যকর স্বতঃসিদ্ধকরণ সহ যে কোনও শক্তিশালী তত্ত্বের জন্য, সহ-ব্যাখ্যাযোগ্যতা ${\mathrm{\Sigma }}_1$ এর সমতূল্য।

তথ্যসূত্র

• টেমপ্লেট:Citation.
• টেমপ্লেট:Citation.