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

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

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

 তথ্যসূত্র 

  *



 বহিঃসংযোগ 

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

বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান