The Lattice of Definability. Origins, Recent Developments, and Further Directions. - Alexei L. Semenov; Sergey Soprunov; Vladimir A. Uspensky (CSR, 2014)

A combinatorial version of the Svenonius theorem on definability. - Alexei L. Semenov; Sergey Soprunov (Log. J. IGPL, 2015)