বারওয়াইজ ঘনত্ব উপপাদ্য

গাণিতিক যুক্তিবিদ্যায় একটি গুরুত্বপূর্ণ ধারণা হল বারওয়াইজ ঘনত্ব উপপাদ্য। এটি প্রথম-ক্রম যুক্তির জন্য প্রচলিত ঘনত্ব উপপাদ্যের একটি বিস্তৃত রূপ, যা কিছু নির্দিষ্ট ধরনের অসীম ভাষার ক্ষেত্রে প্রযোজ্য। ১৯৬৭ সালে জন বারওয়াইজ এই উপপাদ্যটি প্রকাশ এবং প্রমাণ করেন।

বিবৃতি

ধরা যাক, $A$ একটি গণনাযোগ্য স্বীকৃত সেট। L একটি A-সীমিত সম্পর্কমূলক ভাষা। এখন, $\mathrm{\Gamma }$ একটি $L_A$ - বাক্যসমষ্টি, যেখানে $\mathrm{\Gamma }$ হল একটি ${\mathrm{\Sigma }}_1$-সেট এবং এতে $A$-এর প্যারামিটার রয়েছে। যদি $\mathrm{\Gamma }$-এর প্রতিটি $A$ সীমিত উপসেট সন্তোষজনক হয়, তবে $\mathrm{\Gamma }$ নিজেও সন্তোষজনক।

তথ্যসূত্র

•  *টেমপ্লেট:Cite thesis
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি

বহিঃসংযোগ

• স্ট্যানফোর্ড এনসাইক্লোপিডিয়া অফ ফিলোসফি : "ইনফিনিটারি লজিক", সেকশন 5, "এল(ω1,ω) এর উপভাষা এবং বারওয়াইজ কমপ্যাক্টনেস থিওরেম"