$\infty$-constructible Subsemigroups of $M_2(\mathbb{C})$
  A description of all subsemigroups of $M_2(\mathbb{C})$ which are given by a countable intersection of constructible sets is given. Furthermore, it is shown that they are intersections of constructible semigroups. 
Yatir Halevi
math.LO math.RA