2018/03/27 by Quinn-Gregson, T.
#FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1803.10087
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 ℵ0-categoricity of semigroups. Our main results are a complete classification of ℵ0-categorical orthodox completely 0-simple semigroups, and descriptions of the ℵ0-categorical members of certain classes of strong semilattices of semigroups.