Key points are not available for this paper at this time.
حالياً، هناك فجوة بين الأدوات التي يستخدمها نظرية الاحتمالات وتلك التي تستخدم في التفكير الرسمي حول البرامج الاحتمالية. من ناحية، يقوم نظرية الاحتمالات بتفكيك الحالة الاحتمالية على طول المنتج البسيط والطبيعي لفضاءات الاحتمالات. من ناحية أخرى، تكسر المنطقيات الانفصالية الاحتمالية المتطورة حديثاً الحالة من خلال إنشاءات نظرية قياس غير مألوفة نسبياً لحساب اتحادات سيغما-الجبر والقياسات الاحتمالية. نحن نسد الفجوة بين هذين المنظورين من خلال إظهار أن هذين الطريقتين من التفكيك متكافئتان حتى يتماثل الفئات بشكل مناسب. نتيجتنا الرئيسية هي نظير احتمالي للتكافؤ الكلاسيكي بين فئة المجموعات الاسمية وتوبوس شانويل. من خلال هذا التكافؤ، نتحقق من قرارات التصميم في الأعمال السابقة حول المنطق الانفصالي الاحتمالي وننشئ اتصالات جديدة مع نماذج الاحتمال الشبيهة بالمجموعات الاسمية.
لي وآخرون (الجمعة) درسوا هذا السؤال.