1. , and , Defining new universes in many-sorted logic. Preprint, Rényi Institute of Mathematics, Budapest, 2002.
2. , and , Logical analysis of relativity theories. In: First-order Logic Revisited (Hendricks et al., eds.), pp. 7-36 (Logos Verlag, Berlin 2004).
3. , and , Cylindric Algebras (North-Holland, Amsterdam 1971 and 1985).
4. Model Theory (Cambridge University Press, Cambridge 1993).
5. Omega-categoricity, relative categoricity and coordinatisation