Arbitrary models of the complete first-order theories of FDZ-rings
تتقصى هذه الورقة النماذج التعسفية للنظريات من الدرجة الأولى لحلقات FDZ (الحلقات ذات الزمر الجمعية المتولدة من عدد منتهٍ)، حيث تؤسس معايير لقابلية استنتاجها شبه المنتهي وقابليتها للتفسير الثنائي مع الأعداد الصحيحة، مع توصيف جميع الحلقات المتكافئة عنصرياً تحت قيود محددة.