Deciding absorption in relational structures
Barto, Libor · Bulín, Jakub
الأصل · EN
We prove that for finite, finitely related algebras the concepts of an absorbing subuniverse and a Jónsson absorbing subuniverse coincide. Consequently, it is decidable whether a given subset is an absorbing subuniverse of the polymorphism algebra of a given relational structure.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.