The Lattice of Definability. Origins, Recent Developments, and Further Directions.

Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky

Browse the full CSR paper archive.