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

(joint with S. Soprunov and V. Uspensky)

The paper presents recent results and open problems on classes of definable relations (definability spaces, reducts, relational algebras) as well as sources for the research starting from the XIX century. Finiteness conditions are investigated, including quantifier alternation depth and number of arguments width. The infinite lattice of definability for integers with a successor function (a non omega-categorical structure) is described. Methods of investigation include study of automorphism groups of elementary extensions of structures under consideration, using Svenonius theorem and a generalization of it.
June 9, 2014 - 09:30