Abstract

In this paper we define the relation t of elementary extension of topological models in the language L t and show a Back and Forth criterion for t. We introduce some new operations on partial homeomorphisms preserving Back and Forth properties. Some properties of t are proved by the Back and Forth technique