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