T. Quinn-Gregson
Published 2018-03-27, updated 2020-11-20Version 2
A countable semigroup is $\aleph_0$-categorical if it can be characterised, up to isomorphism, by its first-order properties. In this paper we continue our investigation into the $\aleph_0$-categoricity of semigroups. Our main results are a complete classification of $\aleph_0$-categorical orthodox completely 0-simple semigroups, and descriptions of the $\aleph_0$-categorical members of certain classes of strong semilattices of semigroups.
When does $\aleph_1$-categoricity imply $ω$-stability?
The degrees of categoricity above $\mathbf{0}"$
Categoricity over P for first order T or categoricity for phi in L_{omega_1 omega} can stop at aleph_k while holding for aleph_0, ..., aleph_{k-1}
![QR code for arXiv:1803.10087 [math.LO]](http://oss.arxitics.com/images/favicon.svg)