Deciding the existence of quasiweak near unanimity terms in finite algebras
From MaRDI portal
Publication:5863602
Authors: Alexandr Kazda
Publication date: 3 June 2022
Full work available at URL: https://arxiv.org/abs/2002.06083
Recommendations
- The existence of a near-unanimity term in a finite algebra is decidable
- On the (un)decidability of a near-unanimity term
- Existence of cube terms in finite algebras
- Finitely related algebras in congruence distributive varieties have near unanimity terms
- The existence of a near-unanimity function is decidable
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40)
Cites Work
- Existence theorems for weakly symmetric operations
- The structure of finite algebras
- Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
- A strong Mal'cev condition for locally finite varieties omitting the unary type
- A Subalgebra Intersection Property for Congruence Distributive Varieties
- Varieties Obeying Homotopy Laws
- ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
- The wonderland of reflections
- Computational complexity of various Mal'cev conditions
- DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
- Deciding the existence of minority terms
- Loop conditions for strongly connected digraphs
Cited In (4)
This page was built for publication: Deciding the existence of quasiweak near unanimity terms in finite algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5863602)