Examples, counterexamples, and structure in bounded width algebras

09/12/2019
by   Zarathustra Brady, et al.
0

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We classify minimal bounded width algebras which have size at most three, and prove a structure theorem for minimal bounded width algebras which have no majority subalgebra, which form a pseudovariety with a commutative binary operation. As a byproduct of our results, we also classify minimal clones which have a Taylor term.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/08/2021

Stable graphs of bounded twin-width

We prove that every class of graphs 𝒞 that is monadically stable and has...
research
02/15/2022

Graphs of bounded twin-width are quasi-polynomially χ-bounded

We prove that for every t∈ℕ there is a constant γ_t such that every grap...
research
02/13/2021

Twin-width and permutations

Inspired by a width invariant defined on permutations by Guillemot and M...
research
06/29/2021

Twin-Width is Linear in the Poset Width

Twin-width is a new parameter informally measuring how diverse are the n...
research
02/15/2021

Smooth Approximations and Relational Width Collapses

We prove that relational structures admitting specific polymorphisms (na...
research
04/16/2019

Point-width and Max-CSPs

The complexity of (unbounded-arity) Max-CSPs under structural restrictio...
research
05/08/2020

On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width

The relational width of a finite structure, if bounded, is always (1,1) ...

Please sign up or login with your details

Forgot password? Click here to reset