activity
19972025
most citedω-categorical structures avoiding height 1 identities

9 citations · 20 across the 10 of their papers we have counts for

collaborators

11 papers

math.LO2025

Zhuk's bridges, centralizers, and similarity

Ross Willard

This is the second of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In th…

math.LO2025

Abelian congruences and similarity in varieties with a weak difference term

Ross Willard

This is the first of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In thi…

math.LO2022

Algebras from finite group actions and a question of Eilenberg and Schützenberger

Salma Shaheen, Ross Willard

In 1976 S. Eilenberg and M.-P. Schützenberger posed the following diabolical question: if is a finite algebraic structure, is the set of all identities true in $\m…

math.RA2021

Characterizing the commutator in varieties with a difference term

Keith A. Kearnes, Ágnes Szendrei, Ross Willard

We extend the validity of Kiss's characterization of the commutator from congruence modular varieties to varieties with a difference term. This fixes a recently discovered gap in o…

math.LO2020★ 9 cited

ω-categorical structures avoiding height 1 identities

Manuel Bodirsky, Antoine Mottet, Miroslav Olšák +3

The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial…

cs.LO2019★ 5 cited

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

Manuel Bodirsky, Antoine Mottet, Miroslav Olšák +3

The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial…