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 math.LOShow all

4 papers · 1 filter

math.LO2026

Ultrahomogeneity of monounary algebras

Thomas Quinn-Gregson

A structure is ultrahomogeneous if every isomorphism between finitely generated substructures can be extended to an automorphism of the structure. The aim of this paper is to provi…

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 $ω$ …

math.LO2018★ 1 cited

$ℵ_{0}$ -categoricity of semigroups II

T. Quinn-Gregson

A countable semigroup is $ℵ_{0}$ -categorical if it can be characterised, up to isomorphism, by its first-order properties. In this paper we continue our investigation into the $…

math.LO2018

$ℵ_{0}$ -categoricity of semigroups

Victoria Gould, Thomas Quinn-Gregson

In this paper we initiate the study of $ℵ_{0}$ -categorical semigroups, where a countable semigroup $S$ is $ℵ_{0}$ -categorical if, for any natural number $n$ , the action of it…

Ultrahomogeneity of monounary algebras

Solving Equation Systems in ω-categorical Algebras

ℵ0​-categoricity of semigroups II

ℵ0​-categoricity of semigroups

Solving Equation Systems in $ω$ -categorical Algebras

$ℵ_{0}$ -categoricity of semigroups II

$ℵ_{0}$ -categoricity of semigroups