1. Model-Theoretic Logics,1985
2. On d-finiteness in continuous structures;Ben Yaacov;Fund. Math.,2007
3. Continuous first order logic and local stability;Ben Yaacov;Trans. Amer. Math. Soc.,2010
4. Model theory for metric structures;Ben Yaacov,2008
5. Lindström's theorem for positive logics, a topological view;Caicedo,2014