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