Interpolation, Preservation, and Pebble Games
Jon Barwise, Johan van Benthem

Abstract:
Preservation and interpolation results are obtained for L_{\infty\omega} 
and sublogics L \subseteq L_{\infty\omega} such that equivalence in L can 
be characterized by suitable back­and­forth conditions on sets of partial 
isomorphisms.