Deciding absorption
Libor Barto, Alexandr Kazda
TL;DR
This paper characterizes absorption in finite idempotent algebras using Jónsson absorption and cube term blockers, and proves that it is decidable to determine if a subset is an absorbing subuniverse.
Contribution
It introduces a characterization of absorption via Jónsson absorption and cube term blockers, and establishes decidability for identifying absorbing subuniverses.
Findings
Characterization of absorption in finite idempotent algebras.
Decidability of determining absorbing subuniverses.
Application to algebraic structures given by operation tables.
Abstract
We characterize absorption in finite idempotent algebras by means of J\'onsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Rough Sets and Fuzzy Logic · Logic, programming, and type systems