Thomas Quinn-Gregson

activity

20162026

most cited

ℵ_{0}

-categoricity of semigroups II

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

collaborators

Showing 2020Show all

2 papers · 1 filter

math.RA2020

HS-stability and complex products in involution semigroups

Bertalan Bodor, Erkko Lehtonen, Thomas Quinn-Gregson +1

When does the complex product of a given number of subsets of a group generate the same subgroup as their union? We answer this question in a more general form by introducing HS-st…

math.LO2020

Solving Equation Systems in $ω$ -categorical Algebras

Manuel Bodirsky, Thomas Quinn-Gregson

We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $ω$ -categorical algebra $A$ . There are $ω$ …

HS-stability and complex products in involution semigroups

Solving Equation Systems in ω-categorical Algebras

Solving Equation Systems in $ω$ -categorical Algebras